3886 search results - page 494 / 778 » Toward Recovery-Oriented Computing |
157
click to vote
IPPS
2005
IEEE
16 years 7 days ago
2005
IEEE
A new high performance computation technique involving multiple processors on a single silicon die is quickly gaining popularity. This new design approach provides very high perfo...
156
Voted
TPHOL
2005
IEEE
16 years 6 days ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
162
click to vote
EGC
2005
Springer
16 years 5 days ago
2005
Springer
Most current Grid monitoring systems provide a visual user interface. With recent advances in multimedia capabilities in user terminals, there is a strong trend towards interactive...
156
click to vote
CASSIS
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. This short paper introduces the issues and challenges of next generation Java-based smart card platforms. Betting on a continuous evolution toward open computing devices,...
173
click to vote
GI
2004
Springer
16 years 22 hour ago
2004
Springer
: We follow an empirical approach from data quality toward text quality, where the expectations of the consumer, human or machine, take the centre stage. We try to obtain numerical...