Sciweavers

19700 search results - page 26 / 3940
» DNA-Based Computation Times
Sort
View
72
Voted
CONCUR
1993
Springer
15 years 1 months ago
The Linear Time - Branching Time Spectrum II
Rob J. van Glabbeek
RTAS
2011
IEEE
14 years 1 months ago
Deterministic and Stochastic QoS Provision for Real-Time Control Systems
—In this paper, we propose two adaptive scheduling approaches to support real-time control applications with highly varying computation times. The use of a resource reservation s...
Daniele Fontanelli, Luigi Palopoli, Luca Greco
ENTCS
2002
92views more  ENTCS 2002»
14 years 9 months ago
Improving the Efficiency of Non-Deterministic Computations
Non-deterministic computations greatly enhance the expressive power of functional logic programs, but are often computationally expensive. We analyze a programming technique that ...
Sergio Antoy, Pascual Julián Iranzo, Bart M...