294 search results - page 41 / 59 » Formal Verification of the Implementability of Timing Requir... |
83
Voted
ACMSE
2005
ACM
15 years 4 months ago
2005
ACM
Through the automation of empirical evaluation we hope to alleviate evaluation problems encountered by software designers who are relatively new to the process. Barriers to good e...
77
Voted
MEMOCODE
2007
IEEE
15 years 5 months ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
104
Voted
SAC
2003
ACM
15 years 4 months ago
2003
ACM
A fundamental issue in the engineering of coordination models is n coordination abstractions that are correct with respect to the specification of the coordination model they imp...
96
Voted
DAC
2007
ACM
15 years 2 months ago
2007
ACM
While cryptographic algorithms are usually strong against mathematical attacks, their practical implementation, both in software and in hardware, opens the door to side-channel at...
97
Voted
SAS
2009
Springer
15 years 11 months ago
2009
Springer
The Java programming language requires that out-of-bounds array accesses produce runtime exceptions. In general, this requires a dynamic bounds check each time an array element is...