13383 search results - page 2386 / 2677 » Abstractions from proofs |
192
click to vote
TELETRAFFIC
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. Renewed interest in ALOHA-based Medium Access Control (MAC) protocols stems from their proposed applications to wireless ad hoc and sensor networks that require distribut...
179
click to vote
CODES
2006
IEEE
16 years 4 days ago
2006
IEEE
For modern embedded systems, the complexity of embedded applications has reached a point where the performance requirements of these applications can no longer be supported by emb...
134
click to vote
GLOBECOM
2006
IEEE
16 years 4 days ago
2006
IEEE
Abstract— Inferring AS-level end-to-end paths can be a valuable tool for both network operators and researchers. A widely known technique for inferring end-to-end paths is to per...
172
click to vote
RTAS
2006
IEEE
16 years 3 days ago
2006
IEEE
Large-scale storage systems often hold data for multiple applications and users. A problem in such systems is isolating applications and users from each other to prevent their wor...
175
click to vote
SIPS
2006
IEEE
16 years 2 days ago
2006
IEEE
Abstract— This paper presents a design environment for efficiently generating application-specific Intellectual Property (IP) cores for system level signal processing algorithm...