6308 search results - page 1099 / 1262 » Modeling Urgency in Timed Systems |
168
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...
152
click to vote
BCS
2008
15 years 6 months ago
2008
Despite over a century's study, the trigger mechanisms of cardiac arrhythmias are poorly understood. Even modern experimental methods do not provide sufficient temporal and s...
134
Voted
DAC
2002
ACM
16 years 5 months ago
2002
ACM
This paper presents a high-level component-based methodology and design environment for application-specific multicore SoC architectures. Component-based design provides primitive...
141
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
The debate within the Web community over the optimal means by which to organize information often pits formalized classifications against distributed collaborative tagging systems...
152
click to vote
PKC
2009
Springer
16 years 5 months ago
2009
Springer
In this work, we consider the task of allowing a content provider to enforce complex access control policies on oblivious protocols conducted with anonymous users. As our primary ...