1445 search results - page 210 / 289 » Properties of state spaces and their applications |
106
Voted
SPIN
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
140
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: Current approaches to parameter estimation are often inappropriate or inconvenient for the modelling of complex biological systems. For systems described by nonlinear ...
122
click to vote
MMS
2006
15 years 1 months ago
2006
Motion trajectories provide rich spatio-temporal information about an object's activity. The trajectory information can be obtained using a tracking algorithm on data streams ...
119
click to vote
EMSOFT
2009
Springer
15 years 8 months ago
2009
Springer
The major obstacle to use multicores for real-time applications is that we may not predict and provide any guarantee on real-time properties of embedded software on such platforms...
121
click to vote
ACMMSP
2005
ACM
15 years 7 months ago
2005
ACM
64-bit address spaces are increasingly important for modern applications, but they come at a price: pointers use twice as much memory, reducing the effective cache capacity and m...