2502 search results - page 475 / 501 » Using probabilistic model checking in systems biology |
104
click to vote
MICRO
2009
IEEE
15 years 6 months ago
2009
IEEE
Hardware support for dynamic analysis can minimize the performance overhead of useful applications such as security checks, debugging, and profiling. To eliminate implementation ...
122
click to vote
EMSOFT
2006
Springer
15 years 3 months ago
2006
Springer
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...
101
click to vote
ECOOP
2008
Springer
15 years 1 months ago
2008
Springer
A component revolution is underway, bringing developers improved productivity and opportunities for code reuse. However, whereas existing tools work well for builders of desktop ap...
116
click to vote
MICRO
2010
IEEE
14 years 10 months ago
2010
IEEE
SARC merges cache controller and network interface functions by relying on a single hardware primitive: each access checks the tag and the state of the addressed line for possible...
135
click to vote
GLOBECOM
2010
IEEE
14 years 9 months ago
2010
IEEE
Cognitive networking deals with applying cognition to the entire network protocol stack for achieving stack-wide as well as network-wide performance goals, unlike cognitive radios ...