2493 search results - page 217 / 499 » Tool Support for Design by Contract |
144
click to vote
DAC
2000
ACM
15 years 11 months ago
2000
ACM
ct General-purpose programming languages (GPL) are effective vehicles for FPGA design because they are easy to use, extensible, widely available, and can be used to describe both t...
198
click to vote
ICRE
1996
IEEE
15 years 10 months ago
1996
IEEE
Conceptual design involves requirements analysis, functional specification, and architectural design. It remains informal and poorly understood. We studied the conceptual design a...
174
click to vote
CHES
2006
Springer
15 years 10 months ago
2006
Springer
Balanced dynamic dual-rail gates and asynchronous circuits have been shown, if implemented correctly, to have natural and efficient resistance to side-channel attacks. Despite thei...
169
click to vote
CF
2008
ACM
15 years 8 months ago
2008
ACM
Using a new exact synthesizer that automatically induces minimal universal boolean function libraries, we introduce two indicators for comparing their expressiveness: the first ba...
178
click to vote
IADIS
2003
15 years 8 months ago
2003
In order to understand and enhance the value of new media in education it is necessary to develop criteria for the evaluation of the effectiveness of learning with hypermedia envi...