Søgeresultater - parallel processing programs validating java https

Søg alternativer:
processing programs » processing programmed , processing problems , processing products
programs validating » programs validation , programs evaluating , program validation
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 /

Udgivet 2008

Indholdsfortegnelse: “...Smart Content Delivery on the Internet -- Parallel Query Processing in Databases on Multicore...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2014

Indholdsfortegnelse: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2012

Indholdsfortegnelse: “...-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2013

Indholdsfortegnelse: “...Towards a Distributed Modeling Process Based on Composite Models -- Change Propagation due...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... Deadlock Analysis of Multi-threaded Programs -- Verification of the Java Causality Requirements -- Choosing...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2013

Indholdsfortegnelse: “... as Formal Models of Quantum Information Processing Systems.- Parallelizing Legacy Fortran Programs Using...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2013

Indholdsfortegnelse: “... Properties for Java Code -- Modbat: A Model-Based API Tester for Event-Driven Systems -- Predictive Taint...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... -- Injecting Communication Faults to Experimentally Validate Java Distributed Applications -- Implementing...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “... on a Massively Parallel Embedded Processor -- Stream Image Processing on a Dual-Core Embedded System...”
Få fuldtekst

Electronisk eBog

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 /

Udgivet 2007

Indholdsfortegnelse: “... Complex Event Processing Based on RFID Standards -- Physical/Cyber Objects Management Framework...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning