11374 search results - page 2153 / 2275 » A System Demonstration of ST-TCP |
191
click to vote
IPPS
2005
IEEE
16 years 16 days ago
2005
IEEE
“MegaProto” is a proof-of-concept prototype for our project “Mega-Scale Computing Based on Low-Power Technology and Workload Modeling”, implementing our key idea that a mi...
188
click to vote
ISCAS
2005
IEEE
16 years 16 days ago
2005
IEEE
Recent work has shown that the use of switched current methods can provide an effective route to implementation of analog IC functionality using a standard digital CMOS process. Fu...
183
click to vote
ISPAN
2005
IEEE
16 years 16 days ago
2005
IEEE
Commodity hardware and software are growing increasingly more complex, with advances such as chip heterogeneity and specialization, deeper memory hierarchies, ne-grained power ma...
214
click to vote
KBSE
2005
IEEE
16 years 16 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
167
Voted
MSS
2005
IEEE
16 years 16 days ago
2005
IEEE
Increasing efforts have been aimed towards the management of power as a critical system resource, and the disk can consume approximately a third of the power required for a typica...