نتائج البحث - information logic concurrent programming ((((array using) OR (array format))) OR (array profiling))

بدائل البحث:
concurrent programming » constraint programming , concurrent programs
information logic » information logics , information lori , information logging
logic concurrent » logic current , round concurrent , lazy concurrent
array profiling » array processing , microarray profiling
array using » arrays using

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 FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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

منشور في 2010

جدول المحتويات: “... Concurrent Programs Using Linear Interfaces -- Dynamic Cutoff Detection in Parameterized Concurrent Programs...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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

جدول المحتويات: “... Stochastic Games -- Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics -- A Linear...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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 Concurrent Reactive Programs with Partial Information -- Shield Synthesis: Runtime Enforcement for Reactive...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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

منشور في 2010

جدول المحتويات: “... Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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

منشور في 2005

جدول المحتويات: “... Outlier Mining Without Query Vector -- Incremental Data Mining Using Concurrent Online Refresh...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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

منشور في 2005

جدول المحتويات: “...: Distributed Systems -- Complexity of Compositional Model Checking of Computation Tree Logic on Simple...”
احصل على النص الكامل

الكتروني كتاب الكتروني

تضييق البحث