1833 search results - page 107 / 367 » Mechanized Verification with Sharing |
146
click to vote
HPCA
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper describes PRISM, a distributed sharedmemory architecture that relies on a tightly integrated hardware and operating system design for scalable and reliable performance....
172
click to vote
SCAI
2008
15 years 6 months ago
2008
Roboethics is a recently developed field of applied ethics which deals with the ethical aspects of technologies such as robots, ambient intelligence, direct neural interfaces and i...
171
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: A survey of microarray databases reveals that most of the repository contents and data models are heterogeneous (i.e., data obtained from different chip manufacturers)...
156
click to vote
TON
2010
14 years 11 months ago
2010
The cognitive radio (CR) paradigm calls for open spectrum access according to a predetermined etiquette. Under this paradigm, CR nodes access the spectrum opportunistically by cont...
137
click to vote
MICRO
2002
IEEE
15 years 9 months ago
2002
IEEE
Simultaneous multithreading seeks to improve the aggregate computation bandwidth of a processor core by sharing resources such as functional units, caches, TLB and so on. To date,...