2296 search results - page 429 / 460 » The Expressive Power of Synchronizations |
126
click to vote
MICRO
2007
IEEE
15 years 10 months ago
2007
IEEE
The performance of computer systems varies over the course of their execution. A system may perform well during some parts of its execution and poorly during others. To understand...
119
click to vote
AIMS
2007
Springer
15 years 10 months ago
2007
Springer
Policy conflict analysis processes based solely on the examination of policy language constructs can not readily discern the semantics associated with the managed system for which ...
163
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualit...
126
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
Design space exploration of embedded systems typically focuses on classical design goals such as cost, timing, buffer sizes, and power consumption. Robustness criteria, i.e. sensi...
126
click to vote
IMA
2007
Springer
15 years 10 months ago
2007
Springer
Non-linear cryptanalysis is a natural extension to Matsui’s linear cryptanalitic techniques in which linear approximations are replaced by nonlinear expressions. Non-linear appro...