4737 search results - page 718 / 948 » The LOGIC negotiation model |
170
click to vote
PATMOS
2004
Springer
16 years 17 days ago
2004
Springer
Leakage power consumption of current CMOS technology is already a great challenge. ITRS projects that leakage power consumption may come to dominate total chip power consumption as...
217
click to vote
EPIA
2003
Springer
16 years 13 days ago
2003
Springer
The Semantic Web is a “living organism”, which combines autonomously evolving data sources/knowledge repositories. This dynamic character of the Semantic Web requires (declarat...
177
click to vote
ISMIS
2003
Springer
16 years 13 days ago
2003
Springer
As broadband access to the Internet becomes pervasive, the need for a 24 hours a day, seven days a week (24x7) interface within the client devices, requires a level of sophisticati...
197
click to vote
ISSS
2002
IEEE
16 years 4 days ago
2002
IEEE
We have fabricated a Chip Multiprocessor prototype code-named Merlot to proof our novel speculative multithreading architecture. On Merlot, multiple threads provide wider issue wi...
230
click to vote
LICS
2002
IEEE
16 years 4 days ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...