Rezultati - parallel processing programmed verification java https

1

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

Izdano 2010

Kazalo: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Polni tekst

Elektronski eKnjiga

2

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

Izdano 2006

Kazalo: “... Deadlock Analysis of Multi-threaded Programs -- Verification of the Java Causality Requirements -- Choosing...”
Polni tekst

Elektronski eKnjiga

3

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

Izdano 2013

Kazalo: “... Verification Using Network Flow Model -- Performance Evaluation of Process Partitioning Using Probabilistic...”
Polni tekst

Elektronski eKnjiga

4

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

Izdano 2013

Kazalo: “... for the Java Platform -- Ant: A Debugging Framework for MPI Parallel Programs -- Compiler Automatic Discovery...”
Polni tekst

Elektronski eKnjiga

5

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

Izdano 2014

Kazalo: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Polni tekst

Elektronski eKnjiga

6

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

Izdano 2006

Kazalo: “... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”
Polni tekst

Elektronski eKnjiga

7

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

Izdano 2008

Kazalo: “... Parallelism in Haskell -- Minimal Ownership for Active Objects -- Type-Based Deadlock-Freedom Verification...”
Polni tekst

Elektronski eKnjiga

8

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

Izdano 2005

Kazalo: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Polni tekst

Elektronski eKnjiga

9

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

Izdano 2007

Kazalo: “... of Prolog Based Static Analyses -- Verification of Java Bytecode Using Analysis and Transformation of Logic...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2013

Kazalo: “...Towards a Distributed Modeling Process Based on Composite Models -- Change Propagation due...”
Polni tekst

Elektronski eKnjiga

11

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

Izdano 2015

Kazalo: “... Specializing JavaScript Programs -- Symbolic String Transformations with Regular Lookahead and Rollback...”
Polni tekst

Elektronski eKnjiga

12

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

Izdano 2013

Kazalo: “... as Formal Models of Quantum Information Processing Systems.- Parallelizing Legacy Fortran Programs Using...”
Polni tekst

Elektronski eKnjiga

13

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

Izdano 2006

Kazalo: “... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...”
Polni tekst

Elektronski eKnjiga

14

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

Izdano 2005

Kazalo: “... Enhancements for Color Image and Video Processing on Embedded Systems -- A Portable Doppler Device Based on a...”
Polni tekst

Elektronski eKnjiga

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 /

Izdano 2007

Kazalo: “... Complex Event Processing Based on RFID Standards -- Physical/Cyber Objects Management Framework...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje