2930 search results - page 475 / 586 » A Constructive Approach to the Design of Distributed Systems |
144
Voted
CCR
2004
15 years 4 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
155
click to vote
CCS
2010
ACM
15 years 5 months ago
2010
ACM
We show in this paper how several proposed Physical Unclonable Functions (PUFs) can be broken by numerical modeling attacks. Given a set of challenge-response pairs (CRPs) of a PU...
195
click to vote
ISCA
2012
IEEE
13 years 7 months ago
2012
IEEE
The reliability of future processors is threatened by decreasing transistor robustness. Current architectures focus on delivering high performance at low cost; lifetime device rel...
147
click to vote
CLOUD
2010
ACM
15 years 10 months ago
2010
ACM
This paper investigates what it entails to provide I/O service diļ¬erentiation and performance isolation for virtual machines on individual multicore nodes in cloud platforms. Sh...
133
click to vote
IWSSD
1993
IEEE
15 years 9 months ago
1993
IEEE
In this paper, we propose the use of fine-grain process modelling as an aid to software development. We suggest the use of two levels of granularity, one at the level of the indiv...