266 search results - page 15 / 54 » Combining Software and Hardware Verification Techniques |
133
Voted
PARA
2004
Springer
15 years 7 months ago
2004
Springer
Cache optimizations typically include code transformations to increase the locality of memory accesses. An orthogonal approach is to enable for latency hiding by introducing prefet...
123
Voted
CASES
2010
ACM
14 years 11 months ago
2010
ACM
3-D circuit-level integration is a chip fabrication technique in which two or more dies are stacked and combined into a single circuit through the use of vertical electroconductiv...
127
click to vote
EDBTW
2006
Springer
15 years 3 months ago
2006
Springer
The need for incremental constraint maintenance within collections of semi-structured documents has been ever increasing in the last years due to the widespread diffusion of XML. T...
110
click to vote
RTAS
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
121
click to vote
AVI
2008
15 years 4 months ago
2008
To support planning of massive transportations under time-critical conditions, in particular, evacuation of people from a disasteraffected area, we have developed a software modul...