Résultats de la recherche - parallel processing programmed validating java https

1

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

Publié 2008

Table des matières: “...Smart Content Delivery on the Internet -- Parallel Query Processing in Databases on Multicore...”
Accéder au texte intégral

Électronique eBook

2

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

Publié 2014

Table des matières: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Accéder au texte intégral

Électronique eBook

3

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

Publié 2012

Table des matières: “...-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex...”
Accéder au texte intégral

Électronique eBook

4

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

Publié 2005

Table des matières: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Accéder au texte intégral

Électronique eBook

5

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...

Publié 2013

Table des matières: “...Towards a Distributed Modeling Process Based on Composite Models -- Change Propagation due...”
Accéder au texte intégral

Électronique eBook

6

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

Publié 2006

Table des matières: “... Deadlock Analysis of Multi-threaded Programs -- Verification of the Java Causality Requirements -- Choosing...”
Accéder au texte intégral

Électronique eBook

7

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

Publié 2013

Table des matières: “... as Formal Models of Quantum Information Processing Systems.- Parallelizing Legacy Fortran Programs Using...”
Accéder au texte intégral

Électronique eBook

8

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

Publié 2013

Table des matières: “... Properties for Java Code -- Modbat: A Model-Based API Tester for Event-Driven Systems -- Predictive Taint...”
Accéder au texte intégral

Électronique eBook

9

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

Publié 2008

Table des matières: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
Accéder au texte intégral

Électronique eBook

10

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

Publié 2006

Table des matières: “... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...”
Accéder au texte intégral

Électronique eBook

11

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

Publié 2005

Table des matières: “... -- Injecting Communication Faults to Experimentally Validate Java Distributed Applications -- Implementing...”
Accéder au texte intégral

Électronique eBook

12

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

Publié 2007

Table des matières: “... on a Massively Parallel Embedded Processor -- Stream Image Processing on a Dual-Core Embedded System...”
Accéder au texte intégral

Électronique eBook

13

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 /

Publié 2007

Table des matières: “... Complex Event Processing Based on RFID Standards -- Physical/Cyber Objects Management Framework...”
Accéder au texte intégral

Électronique eBook

Restreindre la recherche