2954 search results - page 29 / 591 » Beyond |
ACSD
2009
IEEE
14 years 3 months ago
2009
IEEE
The SpiNNaker project aims to develop parallel computer systems with more than a million embedded processors. The goal of the project is to support largescale simulations of syste...
HICSS
2009
IEEE
14 years 3 months ago
2009
IEEE
HICSS
2009
IEEE
14 years 3 months ago
2009
IEEE
DAC
2009
ACM
14 years 3 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...
OZCHI
2009
ACM
14 years 3 months ago
2009
ACM
For many, an interest in Human-Computer Interaction is equivalent to an interest in usability. However, using computers is only one way of relating to them, and only one topic fro...