Вы здесь

Главная

поток данных

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

Programming and Verifying critical Systems by Means of the Synchronous Data-Flow Language LUSTRE
Programming Languages and Systems: Proc./15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006. Vienna, Austria, March 2006
Programming Languages and Systems: Proc./20th European Symposium on Programming, ESOP 2011 Held as Part of the Joint European Conferences ETAPS 2011, Saabrucken, Germany, March 2011
Programming Languages and Systems: Proc./Third Asian Symposium, APLAS 2005. Tsukuba, Japan, November 2005
Programming with Distributed Data Structure for EM-X Multiprocessor
Programming with Streams in Coq - A Case Study: The Sieve of Eratosthenes
Program Optimization and Parallelization Using Idioms
Progress in WWW Research and Development: Proc./10th Asia-Pacific Web Conference, APWeb 2008. Shenyang, China, April 2008
Propagation of Constants and Assertions
Properties of data flow frameworks
Prototyping of VLSI Components from a Formal Specification
Quotienting Share for Dependency Analysis
Reasoning Web. Reasoning on the Web in the Big Data Era: Proc./10th International Summer School 2014, Athens, Greece, September 2014
Recursive Tree Networks as Dataflow Machines
Reducing the Cost of Data Flow Analysis by Congruence Partitioning
Refining Data Flow Information Using Infeasible Paths
Register Pressure Sensitive Redundancy Elimination
Relating Logic Programs and Attribute Grammars
Relational Methods in Computer Science: Selected Revised Papers/8th Intl Seminar RMCS; 3rd Intl WS AKA & WS of COST Action 274: TARSKI. St.Catharines, ON, Canada, Feb 2005
Scientific and Statistical Database Management: Proc./20th International Conference, SSDBM 2008. Hong Kong, China, July 2008
Scientific and Statistical Database Management: Proc./23rd International Conference, SSDBM 2011, Portland,OR,USA, July 2011
Selective Thunkification
Semantics of Data Streams and Operators
Separate Computation of Alias Information for Reuse
Sharing and Groundness Dependencies in Logic Programs
Simulation Approach to Design of Dataflow Computer
SOFL: A Formal Engineering Methodology for Industrial Applications
Software and Compilers for Embedded Systems: Proc./8th International Workshop, SCOPES 2004. Amsterdam, The Netherlands, September 2004
Solving Demand Versions of Interprocedural Analysis Problems
Solving Shape-Analysis Problems in Languages with Destructive Updating
Sparse Functional Stores for Imperative Programs
Specialization of Imperative Programs Through Analysis of Relational Expressions
Splice: Aspects that Analyze Programs
Static Analysis: Proc./13th International Symposium, SAS 2006. Seoul, Korea, August 2006
Static Analysis: Proc./14th International Symposium, SAS 2007. Kongens Lyngby, Denmark, August 2007
Static Analysis: Proc./17th International Symposium, SAS 2010, Perpignan, France, September 2010
Static Analysis: Proc./23rd International Symposium, SAS 2016, Edinburgh, UK, September 2016
Static Analysis: Proc./26th International Symposium, SAS 2019, Porto, Portugal, October 2019
Static Analysis: Proc./27th International Symposium,, SAS 2020, Virtual Event, November 2020
Strength Reduction via SSAPRE
Structural Testing of Rule-Based Expert Systems
Summarizing Procedures in Concurrent Programs
Suppression of Redundant Operations in Reverse Compile Code Using Global Dataflow Analysis
Suspension Analysis for Concurrent Logic Programs
Synchronous Kahn Networks
The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler
The Eventflow Model - A Concept for Real-time Control of Intelligent Autonomous Systems
The Expressive Power of Indeterminate Primitives in Asynchronous Computation
The Fixpoint-Analysis Machine
The Function Processor: An Architecture for Efficient Execution of Recursive Functions