תוצאות חיפוש - information a concurrent programming ((((array using) OR (array format))) OR (array profiling))

1

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /

יצא לאור 2005

תוכן הענינים: “... and Simulation -- Process Algebra: A Unifying Approach -- Linking Theories of Concurrency -- Hardware Synthesis...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

2

Data Warehousing and Knowledge Discovery 7th International Conference, DaWak 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

יצא לאור 2005

תוכן הענינים: “... Selection in a Data Warehouse -- Using Schema Transformation Pathways for Incremental View Maintenance...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

3

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

יצא לאור 2010

תוכן הענינים: “... of Causality Requirements in Java Memory Model Is Undecidable -- A Team Object for CoArray Fortran...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

4

Languages and Compilers for High Performance Computing 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers /

יצא לאור 2005

תוכן הענינים: “... Programs -- The Use of Traces for Inlining in Java Programs -- A Practical MHP Information Analysis...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

5

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

יצא לאור 2006

תוכן הענינים: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

6

Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008, Proceedings /

יצא לאור 2008

תוכן הענינים: “... of Concurrent Utilities in Jackal: A Software DSM Implementation -- Self-stabilization -- Anonymous Daemon...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

7

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

יצא לאור 2010

תוכן הענינים: “... Using Vereofy -- A Case Study in Model-Based Adaptation of Web Services -- Quantitative Verification...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

8

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

יצא לאור 2005

תוכן הענינים: “... and Coequations -- Linking Theories of Concurrency -- On Cool Congruence Formats for Weak Bisimulations...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

9

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

יצא לאור 2010

תוכן הענינים: “... -- Session 9. Concurrent Program Verification I -- Universal Causality Graphs: A Precise Happens-Before Model...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

10

Distributed Computing -- IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings /

יצא לאור 2005

תוכן הענינים: “... Structures -- A Multi-agent Framework Based on Communication and Concurrency -- Statistical Analysis of a P2P...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

11

High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007, Proceedings /

יצא לאור 2007

תוכן הענינים: “... Architectures with a Hybrid Parallel Programming Model -- High Performance FFT on SGI Altix 3700 -- Security...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

12

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of S...

יצא לאור 2008

תוכן הענינים: “... and Polymorphism in Pure Type Systems -- The Implicit Calculus of Constructions as a Programming Language...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

13

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

יצא לאור 2015

תוכן הענינים: “... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

14

Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part I /

יצא לאור 2013

תוכן הענינים: “... Computing Systems -- Is Sensor Deployment using Gaussian Distribution Energy Balanced -- Shedder: a Metadata...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

15

Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part II /

יצא לאור 2013

תוכן הענינים: “... Computing Systems -- Is Sensor Deployment using Gaussian Distribution Energy Balanced -- Shedder: a Metadata...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

צמצם חיפוש