3507 search results - page 91 / 702 » Slicing for architectural analysis |
109
Voted
MEMOCODE
2003
IEEE
15 years 6 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
136
click to vote
CVPR
2009
IEEE
16 years 8 months ago
2009
IEEE
In an 2D echocardiogram exam, an ultrasound probe
samples the heart with 2D slices. Changing the orientation
and position on the probe changes the slice viewpoint, altering
the ...
114
click to vote
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
Checkpointing and replaying is an attractive technique that has been used widely at the operating/runtime system level to provide fault tolerance. Applying such a technique at the...
232
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
A memory leak in a garbage-collected program occurs when the program inadvertently maintains references to objects that it no longer needs. Memory leaks cause systematic heap grow...
100
Voted
SOSP
2007
ACM
15 years 9 months ago
2007
ACM
Attackers exploit software vulnerabilities to control or crash programs. Bouncer uses existing software instrumentation techniques to detect attacks and it generates filters auto...