Результаты поиска - constructive computation programming support concurrent a*

1

по Mauro, Jacopo., Mauro, Jacopo.
Опубликовано 2014

Оглавление: “... Approach to Manage a Solver Portfolio -- Broadcast messages in Jolie -- Interruptible request responses...”
Полный текст

Электронный ресурс eКнига

2

Transactions on Petri Nets and Other Models of Concurrency I

Опубликовано 2008

Оглавление: “...Constructive Alignment for Teaching Model-Based Design for Concurrency -- Teaching Modelling...”
Полный текст

Электронный ресурс eКнига

3

Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European...

Опубликовано 2008

Оглавление: “... Formal Notation -- Improved Memory-Access Analysis for x86 Executables -- Analyses and Transformations...”
Полный текст

Электронный ресурс eКнига

4

Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European...

Опубликовано 2005

Оглавление: “... for Analyzing x86 Executables -- Pointer Analysis -- A Study of Type Analysis for Speculative Method Inlining...”
Полный текст

Электронный ресурс eКнига

5

Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006...

Опубликовано 2006

Оглавление: “... Classes of Monitoring Petri Nets -- ArgoSPE: Model-Based Software Performance Engineering -- Petriweb: A...”
Полный текст

Электронный ресурс eКнига

6

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference...

Опубликовано 2015

Оглавление: “... Systems -- Verifying Concurrent Programs by Memory Unwinding -- AutoProof: Auto-Active Functional...”
Полный текст

Электронный ресурс eКнига

7

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference...

Опубликовано 2006

Оглавление: “... for Higher-Order Concurrent Programs -- A Region Graph Based Approach to Termination Proofs -- Verifying...”
Полный текст

Электронный ресурс eКнига

8

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference...

Опубликовано 2005

Оглавление: “... -- Satisfiability -- Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit...”
Полный текст

Электронный ресурс eКнига

9

Distributed Computing 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010, Proceedings /

Опубликовано 2010

Оглавление: “... in Distributed Computing -- Invited Lecture I: Consensus (Session 1a) -- The Power of Abstraction -- Fast...”
Полный текст

Электронный ресурс eКнига

10

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /

Опубликовано 2008

Оглавление: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
Полный текст

Электронный ресурс eКнига

11

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

Опубликовано 2007

Оглавление: “... -- Session B4 -- A Fully Abstract Trace Semantics for General References -- Aliased Register Allocation...”
Полный текст

Электронный ресурс eКнига

12

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings /

Опубликовано 2006

Оглавление: “...-Safe Linking of Components for Java-Like Languages -- Towards a Formal Semantics for AspectJ Weaving...”
Полный текст

Электронный ресурс eКнига

13

ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings /

Опубликовано 2014

Оглавление: “... Programming -- Reusable Concurrent Data Types -- TaDA: A Logic for Time and Data Abstraction -- Infrastructure...”
Полный текст

Электронный ресурс eКнига

14

Distributed and Parallel Computing 6th International Conference on Algorithms and Architectures...

Опубликовано 2005

Оглавление: “... Architecture for Application Layer Anycast Service -- A Distributed Approach to Estimate Link-Level Loss Rates...”
Полный текст

Электронный ресурс eКнига

15

Advanced Techniques in Computing Sciences and Software Engineering

Опубликовано 2010

Оглавление: “... Decision Support Software in Health Insurance Company -- A new Artificial Vision Method for Bad Atmospheric...”
Полный текст

Электронный ресурс eКнига

16

Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers /

Опубликовано 2005

Оглавление: “...Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code...”
Полный текст

Электронный ресурс eКнига

17

Intelligent Computing in Engineering and Architecture 13th EG-ICE Workshop 2006, Ascona, Switzerland, June 25-30, 2006, Revised Selected Papers /

Опубликовано 2006

Оглавление: “... of Immersive Display Media for Construction Planning -- A Forward Look at Computational Support for Conceptual...”
Полный текст

Электронный ресурс eКнига

18

Advances in Grid and Pervasive Computing Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings /

Опубликовано 2008

Оглавление: “... Application in Access Grid -- Track 8: Service-Oriented Computing -- A Suggested Framework for Exploring...”
Полный текст

Электронный ресурс eКнига

19

Graph-Theoretic Concepts in Computer Science 38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers /

Опубликовано 2012

Оглавление: “...Account on Intervals -- Constructing Resilient Structures in Graphs: Rigid vs. Competitive Fault...”
Полный текст

Электронный ресурс eКнига

20

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /

Опубликовано 2005

Оглавление: “... Dynamic Class Construct for Asynchronous Concurrent Objects -- An Abstract Machine for the Kell Calculus...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска