804 search results - page 42 / 161 » The Need for Speed |
FASE
2010
Springer
14 years 3 months ago
2010
Springer
Actor programs consist of a number of concurrent objects called actors, which communicate by exchanging messages. Nondeterminism in actors results from the different possible orde...
DDECS
2008
IEEE
14 years 3 months ago
2008
IEEE
— Due to ever increasing design sizes more efficient tools for Automatic Test Pattern Generation (ATPG) are needed. Recently ATPG based on Boolean satisfiability (SAT) has been ...
ICALT
2008
IEEE
14 years 3 months ago
2008
IEEE
Self-assessment is a crucial component of learning. Creating effective questions is time-consuming, however, because it may require considerable resources and the skill of critica...
ICRA
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— This work presents an untethered magnetic microrobot with dimensions of 250 µm x 130 µm x 100 µm. The robot is composed entirely of neodymium-iron-boron fabricated u...
DATE
2007
IEEE
14 years 3 months ago
2007
IEEE
Characterizing setup/hold times of latches and registers, a crucial component for achieving timing closure of large digital designs, typically occupies months of computation in in...