Resultados de búsqueda - parallel assure program functionality function https

Buscar alternativas:
functionality function » functionals function , functionaries function , functional functions
program functionality » protein functionality , programs functional , supra functionality
parallel assure » parallel fissures , parallel assay , parallel surf
assure program » assurance program , leisure program , capture program
function https » functions https , fiction https

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings /

Publicado 2010

Tabla de Contenidos: “... Quality Assurance -- Similar Code Detection and Elimination for Erlang Programs -- Static Detection...”
Enlace del recurso

Electrónico eBook

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Publicado 2008

Tabla de Contenidos: “... -- ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions -- Computing Must and May...”
Enlace del recurso

Electrónico eBook

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Publicado 2014

Tabla de Contenidos: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Enlace del recurso

Electrónico eBook

Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings /

Publicado 2006

Tabla de Contenidos: “... of Tame Polynomials and Rational Functions -- Newton Polyhedra and an Oscillation Index of Oscillatory...”
Enlace del recurso

Electrónico eBook

Advances in Computer Games 12th International Conference, ACG 2009, Pamplona, Spain, May 11-13, 2009, Revised Papers /

Publicado 2010

Tabla de Contenidos: “... -- Creating an Upper-Confidence-Tree Program for Havannah -- Randomized Parallel Proof-Number Search -- Hex...”
Enlace del recurso

Electrónico eBook

Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012, Proceedings /

Publicado 2012

Tabla de Contenidos: “...Introduction to Sassur 2012 -- AdvoCATE: An Assurance Case Automation Toolset -- Towards a Case...”
Enlace del recurso

Electrónico eBook

COMPSTAT 2006 - Proceedings in Computational Statistics 17th Symposium Held in Rome, Italy, 2006 /

Publicado 2006

Tabla de Contenidos: “..., multiple, joint correspondence analysis -- 3 dimensional parallel coordinates plot and its use for variable...”
Enlace del recurso

Electrónico eBook

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings /

Publicado 2006

Tabla de Contenidos: “... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...”
Enlace del recurso

Electrónico eBook

Modeling, Simulation and Optimization of Complex Processes Proceedings of the Third International Conference on High Performance Scientific Computing, March 6-10, 2006, Hanoi, Viet...

Publicado 2008

Tabla de Contenidos: “..., 2004: Indian Ocean Tsunami -- Approximate Dynamic Programming for Generation of Robustly Stable...”
Enlace del recurso

Electrónico eBook

Intelligence and Security Informatics International Workshop, WISI 2006, Singapore, April 9, 2006, Proceedings /

Publicado 2006

Tabla de Contenidos: “... Community Core Members Based on Gene Expression Programming -- Posters -- Integration of a Cryptographic...”
Enlace del recurso

Electrónico eBook

Resultados Agrupados