13101 search results - page 311 / 2621 » The design and implementation of microdrivers |
139
click to vote
CJ
2010
15 years 6 months ago
2010
rder logic (HOL) theorem prover. The high ability of abstraction in the HOL verification system allows its use for the verification task over the whole design path of the circuit, ...
158
click to vote
INFFUS
2006
2006
Comparative implementation of two fusion schemes for multiple complementary FLIR imagery classifiers
15 years 6 months ago
Several classifiers for forward looking infra-red imagery are designed and implemented, and their relative performance is benchmarked on 2545 images belonging to 8 different ship ...
184
click to vote
INTEGRATION
2008
15 years 6 months ago
2008
Thermal gradients across the die are becoming increasingly prominent as we scale further down into the sub-nanometer regime. While temperature was never a primary concern, its non...
165
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Modularity is one of the most important properties of a software design, with significant impact on changeability and evolvability. However, a formalized and automated approach i...
174
click to vote
ICSE
2001
IEEE-ACM
15 years 11 months ago
2001
IEEE-ACM
A good object-oriented design does not necessarily make a good component-based design, and vice versa. What design principles do components introduce? This paper examines componen...