13383 search results - page 2394 / 2677 » Abstractions from proofs |
121
click to vote
CASES
2004
ACM
15 years 9 months ago
2004
ACM
As on-chip networks become prevalent in multiprocessor systemson-a-chip and multi-core processors, they will be an integral part of the design flow of such systems. With power in...
174
click to vote
CF
2004
ACM
15 years 9 months ago
2004
ACM
In a future networked physical world, a myriad of smart sensors and actuators assess and control aspects of their environments and autonomously act in response to it. Examples ran...
133
click to vote
SIGCOMM
2004
ACM
15 years 9 months ago
2004
ACM
A detailed understanding of the many facets of the Internet’s topological structure is critical for evaluating the performance of networking protocols, for assessing the effecti...
154
Voted
SPAA
2004
ACM
15 years 9 months ago
2004
ACM
Page migration is one of the fundamental subproblems in the framework of data management in networks. It occurs in a distributed network of processors sharing one indivisible memo...
157
click to vote
VRML
2004
ACM
15 years 9 months ago
2004
ACM
Increasingly, biology researchers and medical practitioners are using computational tools to model and analyze dynamic systems across scales from the macro to the cellular to the ...