Вы здесь

Главная

время

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

About Logical Clocks for Distributed Systems
Abstract Complexity of Prolog Based on WAM
A Classification of Models for Concurrency
A Data Model for Time-Series Analysis
A Discussion on the Ada Run-Time Environment in Safety Critical Application
A Dynamic Approach to Timed Behaviour
A Framework for Developing Temporal Databases
Algorithm for Parallel Simulation of High Level Petri Net
Algorithms and Computation: Proc./24th International Symposium, ISAAC 2013, Hong Kong, China, December 2013
A Modular Systolic Linearization of the Winigrad s Algorithm
An Algorithm for Minimally Latent Global Virtual Time
Analyzing Communication Latency using the Nectar Communication Processor
An Elimination Theorem for Regular Behaviours with Integration
Annotating, Extracting and Reasoning about Time and Events: Revised Papers/International Seminar. Dagstuhl Castle, Germany, April 2005
An Optimal Parallel Algorithm for the Euclidean TSP on EREW PRAM
Approximation Schemes Using L-Reductions1,2,3
A Propositional Dense Time Logic
A Trace Consistent Subset of PTL
A Tree-Driven Multiple-Rate Model of Time Measuring in Object-Oriented Real-Time Systems
A Uniform Approach for Compile-time and Run-time Specialization
Average Polynomial Time Is Hard for Exponential Time Under sn-Reductions
Axiomatising Linear Time Mu-calculus
Binding-Time Analysis for Standard ML
Branching Time Equivalences for Interactive Markov Chains
Characterizing Timed Net Processes Categorically
Clock Trees: Logical Clocks for Programs with Nested Parallelism
Coloring Semi-Random Graphs in Polynomial Expected Time
Compiler, c est reconstruire le temps
Compile Time Garbage Collection for Ground Prolog
Conceptual Modeling - ER 2009: Proc./28th International Conference on CM. Gramado, Brazil, November 2009
Creation of a Family of Compilers and Runtime Environments by Combining Reusable Components
DBMS Support for Time and Totally Ordered Compound Data Types
Designing Access Methods for Bitemporal Databases
Detecting Causal Relationships in Distributed Computations: In Search of the Holy Grail
Discrete time stochastic Petri box calculus
Distributed Simulation of Timed Petri Nets: Explpoiting the Net Structure to Obtain Efficiency
Efficient Computation of Solutions for Contradictory Time Interval Networks
Efficient Differential Timeslice Computation
Efficient Resolution of Singularities of Plane Curves
Efficient Storage Structures for Temporal Object-Oriented Databases
Evaluating Workflow and Process Automation in Wide-Area Software Development
Expressively of Timed Petri Nets: Classical versus Time-Critical Viewpoint
Generalized Topological Sorting in Linear Time
Hybrid Systems: Computation and Control: Proc./8th International Workhshop, HSCC 2005. Zurich, Switzerland, March 2005
Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications
Implementing Communication Latency Hiding in High-Latency Computer Networks
Inference Systems for Binding Time Analysis
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation: Proc./21st International Workshop, PATMOS 2011, Madrid, Spain, September 2011
Is Timed Branching Bisimilarity an Equivalence Indeed?
Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains