5523 search results - page 958 / 1105 » Improving application performance with hardware data structu... |
132
click to vote
IV
2005
IEEE
15 years 10 months ago
2005
IEEE
Visualization and knowledge of detailed pressure information can play a vital role in multimodal sensing of human movement. We have designed a highresolution pressure sensing floo...
118
click to vote
SIGMETRICS
2004
ACM
15 years 9 months ago
2004
ACM
We study the problem of locating in space and over time a network path’s tight link, that is the link with the least available bandwidth on the path. Tight link localization ben...
158
click to vote
SLIP
2004
ACM
15 years 9 months ago
2004
ACM
Throughput, power consumption, signal integrity, pin count and routing complexity are all increasingly important interconnect issues that the system designer must deal with. Recen...
141
click to vote
CODES
2002
IEEE
15 years 9 months ago
2002
IEEE
Limited energy and memory resources are important constraints in the design of an embedded system. Compression is an useful and widely employed mechanism to reduce the memory requ...
139
click to vote
SIGSOFT
1996
ACM
15 years 8 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...