9110 search results - page 389 / 1822 » Formally-Based Design Evaluation |
171
click to vote
IEICET
2006
15 years 6 months ago
2006
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
171
Voted
ASPDAC
2000
ACM
15 years 11 months ago
2000
ACM
Abstract - The emergence and great popularity of system-onchip (SoC) designs has brought with it a variety of suggestions for a single language that can describe all of the functio...
134
click to vote
INTERACT
2003
15 years 8 months ago
2003
: This paper reports on a software tutorial designed according to minimalist principles. The design extends minimalism beyond paper-based instructions to computer-based interface, ...
163
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
Natural eye designs are optimized with regard to the tasks the eye-carrying organism has to perform for survival. This optimization has been performed by the process of natural ev...
167
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
Currently, hardware intellectual property (IP) is delivered at vels of abstraction: hard, firm, and soft. In order to further enhance performance, efficiency, and flexibility of I...