1057 search results - page 156 / 212 » Theoretical and Experimental DNA Computation |
SPIN
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
SIGIR
2003
ACM
15 years 3 months ago
2003
ACM
In a federated digital library system, it is too expensive to query every accessible library. Resource selection is the task to decide to which libraries a query should be routed....
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
—Accurate timing analysis is crucial for obtaining the optimal clock frequency, and for other design stages such as power analysis. Most methods for estimating propagation delay ...
104
click to vote
ACMSE
2004
ACM
15 years 3 months ago
2004
ACM
Modern processors include features such as deep pipelining, multilevel cache hierarchy, branch predictors, out of order execution engine, and advanced floating point and multimedi...
PDC
2004
ACM
15 years 3 months ago
2004
ACM
This paper reports the value of On the Spot Experiments with self-produced content and the use of technology within healthcare. On the Spot Experiments are experiments conducted i...