2067 search results - page 159 / 414 » Modeling and Simulation of Operating System Behavior |
159
click to vote
QEST
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
154
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
Accurate power and performance figures are critical to assess the effective design of possible sensor node architectures in Body Area Networks (BANs) since they operate on limite...
134
click to vote
DNA
2001
Springer
15 years 9 months ago
2001
Springer
In the universal DNA chip method, target RNAs are mapped onto a set of DNA tags. Parallel hybridization of these tags with an indexed, complementary antitag array then provides an ...
168
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
Robotic cardiac catheters have the potential to revolutionize heart surgery by extending minimally invasive techniques to complex surgical repairs inside the heart. However, cathet...
158
click to vote
TCAD
2008
15 years 3 months ago
2008
The design of MultiProcessor Systems-on-Chip (MPSoC) emphasizes intellectual-property (IP)-based communication-centric approaches. Therefore, for the optimization of the MPSoC inte...