7820 search results - page 1287 / 1564 » Formalization of Time and Space |
169
click to vote
TACAS
2005
Springer
16 years 4 days ago
2005
Springer
We present MC2 , what we believe to be the first randomized, Monte Carlo algorithm for temporal-logic model checking, the classical problem of deciding whether or not a property s...
190
click to vote
VLDB
2005
ACM
16 years 4 days ago
2005
ACM
Emerging large-scale monitoring applications require continuous tracking of complex dataanalysis queries over collections of physicallydistributed streams. Effective solutions hav...
189
click to vote
WABI
2005
Springer
16 years 4 days ago
2005
Springer
Recently, there has been growing interest in the modelling and simulation of biological systems. Such systems are often modelled in terms of coupled ordinary differential equation...
159
click to vote
ASPDAC
2004
ACM
16 years 3 days ago
2004
ACM
Improving logic capacity by time-sharing, dynamically reconfigurable FPGAs are employed to handle designs of high complexity and functionality. In this paper, we use a novel topo...
157
click to vote
HT
2004
ACM
16 years 3 days ago
2004
ACM
Many approaches have been pursued over the years to facilitate creating, organizing, and sharing collections of materials extracted from large information spaces. Little attention...