3156 search results - page 133 / 632 » An address translation simulator |
116
click to vote
ISSTA
2006
ACM
15 years 7 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
140
Voted
ICCAD
2003
IEEE
15 years 10 months ago
2003
IEEE
Translating digital signal processing (DSP) software into its finite-precision hardware implementation is often a timeconsuming task. We describe a new static analysis technique ...
129
click to vote
DSRT
2005
IEEE
15 years 7 months ago
2005
IEEE
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
104
click to vote
ATAL
2004
Springer
15 years 7 months ago
2004
Springer
For Peer-2-Peer (P2P) networks to realize their full potential their nodes need to coordinate and cooperate, to improve the performance of the network as a whole. But this requires...
154
click to vote
I3E
2001
15 years 3 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...