Arama Sonuçları - parallel processing programs verification java https

1

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Tam Metin Erişim

Elektronik Ekitap

2

Hardware and Software, Verification and Testing First International Haifa Verification Conference...

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Deadlock Analysis of Multi-threaded Programs -- Verification of the Java Causality Requirements -- Choosing...”
Tam Metin Erişim

Elektronik Ekitap

3

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Verification Using Network Flow Model -- Performance Evaluation of Process Partitioning Using Probabilistic...”
Tam Metin Erişim

Elektronik Ekitap

4

Languages and Compilers for Parallel Computing 25th International Workshops, LCPC 2012, Tokyo, Japan, September 11-13,2012, Revised Selected Papers /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... for the Java Platform -- Ant: A Debugging Framework for MPI Parallel Programs -- Compiler Automatic Discovery...”
Tam Metin Erişim

Elektronik Ekitap

5

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Tam Metin Erişim

Elektronik Ekitap

6

Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI...

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”
Tam Metin Erişim

Elektronik Ekitap

7

Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Parallelism in Haskell -- Minimal Ownership for Active Objects -- Type-Based Deadlock-Freedom Verification...”
Tam Metin Erişim

Elektronik Ekitap

8

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Tam Metin Erişim

Elektronik Ekitap

9

Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... of Prolog Based Static Analyses -- Verification of Java Bytecode Using Analysis and Transformation of Logic...”
Tam Metin Erişim

Elektronik Ekitap

10

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “...Towards a Distributed Modeling Process Based on Composite Models -- Change Propagation due...”
Tam Metin Erişim

Elektronik Ekitap

11

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Specializing JavaScript Programs -- Symbolic String Transformations with Regular Lookahead and Rollback...”
Tam Metin Erişim

Elektronik Ekitap

12

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... as Formal Models of Quantum Information Processing Systems.- Parallelizing Legacy Fortran Programs Using...”
Tam Metin Erişim

Elektronik Ekitap

13

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...”
Tam Metin Erişim

Elektronik Ekitap

14

Advances in Computer Systems Architecture 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Enhancements for Color Image and Video Processing on Embedded Systems -- A Portable Doppler Device Based on a...”
Tam Metin Erişim

Elektronik Ekitap

15

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 /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Complex Event Processing Based on RFID Standards -- Physical/Cyber Objects Management Framework...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt