Вы здесь

Главная

реализация

Связанные издания:

Etude et realisation d une traduction automatique d Algol 60 en Algol 68
EusLisp: An Object-Based Implementation of Lisp
Evaluation of Regular Nonlinear Recursions by Deductive Database Techniques
Event Diagnosis and Recovery in Real-Time On-Board Autonomous Mission Control
Evolutionary Steps Toward a Distributed Operating System: Theory and Implementation
Exact Solution of Linear Systems over Rational Numbers by Parallel p-adic Arithmetic
Executable Specifications for Language Implementation
Execution of External Applications Using TTCN-3
Experiences in Telecommunications Protocols with an OO Based Implementation Framework
Experience Using Web-Based Shotgun Measures for Large-System Characterization and Improvement
Experience with the Implementation of a Concurrent Graph Reduction System on an nCUBE/2 Platform
Experimental Algorithms: Proc./7th International Workshop, WEA 2008. Provincetown, MA, USA, May/June 2008
Experimental and Efficient Algorithms: Proc./4th International Workshop, WEA 2005. Santorini Island, Greece, May 2005
Explicit Substitutions for Objects and Functions
Fairness of N-party Synchronization and Its Implementation in a Distributed Environment
Fast Software Encryption: Revised Selected Papers/12th International Workshop, FSE 2005. Paris, France, February 2005
Fast Software Encryption: Revised Selected Papers/13th International Workshop, FSE 2006. Graz, Austria, March 2006
Fast Software Encryption: Revised Selected Papers/15th International Workshop, FSE 2008. Lausanne, Switzerland, February 2008
FCP Sequential Abstract Machine Characteristics for the Systems Development Workload
Flang and Its Implementation
Flexible Scheduling of Or-parallelism in Aurora: The Bristol Scheduler
Formal Approaches to Software Testing: Revised Selected Papers/4th International Workshop, FATES 2004. Linz, Austria, September 2004
Formal Aspects of Software Reusability
Formal Methods for Components and Objects: Revised Papers/6th International Symposium, FMCO 2007. Amsterdam, The Netherlands, October 2007
Formal Specification of Symbolic-Probabilistic Systems
Foundational Approaches to Software Engineering: Proc./14th International Conference, FASE 2011 Held as Part of the Joint European Conferences ETAPS 2011, Saarbrucken, Germany, March 2011
Foundational Issues in Implementing Constraint Logic Programming Systems
Fully Declarative Logic Programming
Fundamental Approaches to Software Engineering: Proc./20th International Conference, FASE 2017 Held as Part of European Join Conference ETAPS 2017, Uppsala, Sweden, April 2017
Fundamental Approaches to Software Engineering: Proc./5th Intern. Conf., FASE 2002, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002
Fundamental Approaches to Software Engineering: Proc./7th Intern. Conf., FASE 2004 Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March-April 2004
Garbage Collection Algorithms for Java-Based Prolog Engines
General Purpose Proof Plans
Generating Local Addresses and Communication Sets for Data-Parallel Programs
Generative and Transformational Techniques in Software Engineering II: Revised Papers/International Summer School, GTTSE 2007. Braga, Portugal, July 2007
Generative Programming and Component Engineering: Proc./Third International Conference, GPCE 2004. Vancouver, Canada, 2004
Graph Transformations: Proc./Third International Conference, ICGT 2006. Natal Rio Grande de Norte, Brazil, September 2006
Grid Computing: Experiment Management,Tool Integration, and Scientific Workflows
Groupware: Design, Implementation, and Use: Proc./13th International Workshop, CRIWG 2007. Bariloche, Argentina, September 2007
Groupware - Design, Implementation, and Use: Proc./8th Intern. Workshop, CRIWG 2002, La Serena, Chile, September 2002
Groupware - Design, Implementation, and Use: Proc./9th Intern. Workshop, CRIWG 2003, Autrans, France, September-October 2003
Groupware: Design, Implementation, and Use: Revised Selected Papers/14th International Workshop, CRIWG 2008. Omaha, NE, USA, September 2008
Guided tour inside F@BOOL@: a case-study for a SAT-based verifying compiler
GUM: a portable parallel implementation of Haskell
GUM: A Portable Parallel Implementation of Haskell
Hand-Writing Program Generator Generators
Higher Order Babel: Language and Implementation
High Performance Computing in Science and Engineering: Revised Selected Papers/3rd International Conference, HPCSE 2017, Karolinka, Czech Republic, May 2017
High Performance Fortran Languages: Advanced Applications and Their Implementation
Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction