Resultats de la cerca - parallel process programming validating java https

Alternatives de cerca:
programming validating » programming evaluating , programming writing , programming balancing
process programming » processes programming , processing programming , processors programming
parallel process » parallel processes , parallel processing , parallel processors
validating java » validating data , validating halal , validating a
https » http

Algorithms and Architectures for Parallel Processing 8th International Conference, ICA3PP 2008, Agia Napa, Cyprus, June 9-11, 2008, Proceedings /

Publicat 2008

Taula de continguts: “...Smart Content Delivery on the Internet -- Parallel Query Processing in Databases on Multicore...”
Obtenir text complet

Electrònic eBook

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques...

Publicat 2014

Taula de continguts: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Obtenir text complet

Electrònic eBook

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings /

Publicat 2012

Taula de continguts: “...-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex...”
Obtenir text complet

Electrònic eBook

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Publicat 2005

Taula de continguts: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Obtenir text complet

Electrònic eBook

Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /

Publicat 2006

Taula de continguts: “... Deadlock Analysis of Multi-threaded Programs -- Verification of the Java Causality Requirements -- Choosing...”
Obtenir text complet

Electrònic eBook

Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Publicat 2013

Taula de continguts: “...Towards a Distributed Modeling Process Based on Composite Models -- Change Propagation due...”
Obtenir text complet

Electrònic eBook

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers /

Publicat 2013

Taula de continguts: “... as Formal Models of Quantum Information Processing Systems.- Parallelizing Legacy Fortran Programs Using...”
Obtenir text complet

Electrònic eBook

High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings /

Publicat 2008

Taula de continguts: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
Obtenir text complet

Electrònic eBook

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Publicat 2013

Taula de continguts: “... Properties for Java Code -- Modbat: A Model-Based API Tester for Event-Driven Systems -- Predictive Taint...”
Obtenir text complet

Electrònic eBook

Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Papers /

Publicat 2006

Taula de continguts: “... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...”
Obtenir text complet

Electrònic eBook

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers /

Publicat 2005

Taula de continguts: “... -- Injecting Communication Faults to Experimentally Validate Java Distributed Applications -- Implementing...”
Obtenir text complet

Electrònic eBook

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings /

Publicat 2007

Taula de continguts: “... on a Massively Parallel Embedded Processor -- Stream Image Processing on a Dual-Core Embedded System...”
Obtenir text complet

Electrònic eBook

Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007, Revised Papers /

Publicat 2007

Taula de continguts: “... Complex Event Processing Based on RFID Standards -- Physical/Cyber Objects Management Framework...”
Obtenir text complet

Electrònic eBook

Refinar cerca