13383 search results - page 2386 / 2677 » Abstractions from proofs |
164
Voted
TELETRAFFIC
2007
Springer
15 years 10 months 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...
146
Voted
CODES
2006
IEEE
15 years 9 months 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...
116
Voted
GLOBECOM
2006
IEEE
15 years 9 months 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...
137
Voted
RTAS
2006
IEEE
15 years 9 months 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...
142
Voted
SIPS
2006
IEEE
15 years 9 months 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...