11797 search results - page 2089 / 2360 » Recent Developments in the Experimental |
158
click to vote
VMCAI
2005
Springer
15 years 11 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
169
click to vote
ICN
2005
Springer
15 years 11 months ago
2005
Springer
Input Queued switches have been very well studied in the recent past. The Maximum Weight Matching (MWM) algorithm is known to deliver 100% throughput under any admissible traffic. ...
158
click to vote
ASPDAC
2004
ACM
15 years 11 months ago
2004
ACM
— We have developed the first real-time 3-D image sensor with VGA pixel resolution using mixed-signal techniques to achieve high-speed and high-accuracy range calculation based ...
176
click to vote
DAC
2004
ACM
15 years 11 months ago
2004
ACM
System-on-Chip (SoC) designs are increasingly becoming more complex. Efficient on-chip communication architectures are critical for achieving desired performance in these systems....
165
Voted
MM
2004
ACM
15 years 11 months ago
2004
ACM
GURU is a distance-learning environment that renders multimedia information to users with disabilities in an accessible manner. It is an implementation framework developed as part...