589 search results - page 59 / 118 » Design and Implementation of an SSL Component Based on CBD |
ICCAD
2007
IEEE
15 years 8 months ago
2007
IEEE
— Computing counterexamples is a crucial task for error diagnosis and debugging of sequential systems. If an implementation does not fulfill its specification, counterexamples ...
102
click to vote
DBPL
1989
Springer
15 years 3 months ago
1989
Springer
In the process of developing an Information System, one passes through stages that include requirements gathering, design specification, and software implementation. The purpose ...
100
click to vote
SAS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Silicon chip design has passed a threshold whereby exponentially increasing transistor density (Moore’s Law) no longer translates into increased processing power for si...
105
click to vote
IPSN
2005
Springer
15 years 5 months ago
2005
Springer
Abstract— Sustainable operation of battery powered wireless embedded systems (such as sensor nodes) is a key challenge, and considerable research effort has been devoted to energ...
ASPDAC
2007
ACM
15 years 3 months ago
2007
ACM
- Estimation tools are a key component of system-level methodologies, enabling a fast design space exploration. Estimation of software performance is essential in current software-...