1023 search results - page 194 / 205 » Model Checking: Software and Beyond |
103
click to vote
ESEC
1999
Springer
15 years 5 months ago
1999
Springer
The use of smart cards to run software modules on demand has become a major business concern for application issuers. Such downloadable executable content requires to be trusted by...
137
click to vote
MICRO
2010
IEEE
14 years 12 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...
121
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Robust distributed systems commonly employ high-level recovery mechanisms enabling the system to recover from a wide variety of problematic environmental conditions such as node f...
113
click to vote
ICCD
2008
IEEE
15 years 10 months ago
2008
IEEE
— Extreme scaling practices in silicon technology are quickly leading to integrated circuit components with limited reliability, where phenomena such as early-transistor failures...
118
click to vote
CCGRID
2002
IEEE
15 years 6 months ago
2002
IEEE
Despite the large research efforts in the SW–DSM community, this technology has not yet been adapted widely for significant codes beyond benchmark suites. One of the reasons co...