601 search results - page 83 / 121 » Writing for the Year 2000 |
ISPASS
2005
IEEE
15 years 5 months ago
2005
IEEE
Cosmic-ray induced soft errors in cache memories are becoming a major threat to the reliability of microprocessor-based systems. In this paper, we present a new method to accurate...
ICAPR
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Software analysis techniques, and in particular software “design recovery”, have been highly successful at both technical and businesslevel semantic markup of large s...
NIME
2005
Springer
15 years 5 months ago
2005
Springer
This paper describes the audio human computer interface experiments of ixi in the past and outlines the current platform for future research. ixi software [5] was founded by Thor ...
AFRIGRAPH
2004
ACM
15 years 5 months ago
2004
ACM
The ancient Egyptian temple of Kalabsha dates back to 30 BC. In 1963 the temple was dismantled and moved to a new site in order to save it from the rising waters of the Lake Nasse...
103
click to vote
LATIN
2004
Springer
15 years 5 months ago
2004
Springer
The paper settles a long standing problem for Mazurkiewicz traces: the pure future local temporal logic defined with the basic modalities exists-next and until is expressively com...