1
Veröffentlicht 2011
Schlagworte: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2010
Inhaltsangabe: ... of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2005
Inhaltsangabe: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2008
Inhaltsangabe: ... of Communication Faults -- Algebraic Graph Algorithms -- Contributed Papers -- Question/Answer Games on Towers...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2014
Inhaltsangabe: ... of Probabilistic Basic Parallel Processes -- Limit Synchronization in Markov Decision Processes -- Maximal Cost...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2005
Inhaltsangabe: ... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2014
Inhaltsangabe: ... -- On the Role of Shared Randomness in Simultaneous Communication -- Short PCPs with Projection Queries -- Star...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2005
Inhaltsangabe: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2007
Inhaltsangabe: ... Sorting -- Adventures in Bidirectional Programming -- Program Analysis Using Weighted Pushdown Systems...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2007
Inhaltsangabe: ... of Solitaire -- Streams and Compression -- Adapting Parallel Algorithms to the W-Stream Model...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2005
Inhaltsangabe: ... Optimization -- On Some Bounds on the Size of Branching Programs (A Survey) -- Two Metaheuristics...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2015
Inhaltsangabe: ... -- How Artifacts Support and Impede Requirements Communication -- Consonance between Networked Economic...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2014
Inhaltsangabe: ... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2014
Inhaltsangabe: ... and Computational Game Theory -- Random Deterministic Automata -- Communication Complexity Theory: Thirty-Five Years...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2008
Inhaltsangabe: ... Parallelism in Haskell -- Minimal Ownership for Active Objects -- Type-Based Deadlock-Freedom Verification...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2006
Inhaltsangabe: ... Deployable Secure-Mailing-List Solution -- Mathematical Foundations for the Design of a Low-Rate DoS Attack...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2008
Inhaltsangabe: ...Keynote Speech: A Review of the Ontological Status, Computational Foundations and Methodological...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2008
Inhaltsangabe: ... Capabilities -- Integration of ACO in a Constraint Programming Language -- Learning from House-Hunting Ants...
Volltext
Elektronisch E-Book
19
Veröffentlicht 2006
Inhaltsangabe: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
Volltext
Elektronisch E-Book
20
von Katzen, Sid., Katzen, Sid.
Veröffentlicht 2010
Inhaltsangabe: ...The Fundamentals -- Digital Representation -- Logic Circuitry -- Stored Program Processing...
Volltext
Elektronisch E-Book