2520 search results - page 287 / 504 » Model-checking behavioral programs |
144
click to vote
ICCD
2008
IEEE
16 years 3 months ago
2008
IEEE
— Increasing sizes of benchmarks make detailed simulation an extremely time consuming process. Statistical techniques such as the SimPoint methodology have been proposed in order...
153
click to vote
ICCD
2006
IEEE
16 years 3 months ago
2006
IEEE
— Identifying performance bottlenecks is important for microarchitects and application developers to produce high performance microprocessor designs and application software. Man...
122
Voted
IWPC
2008
IEEE
16 years 25 days ago
2008
IEEE
Developers rely on the mechanisms provided by their IDE to browse and navigate a large software system. These mechanisms are usually based purely on a system’s static source cod...
161
click to vote
SP
2007
IEEE
16 years 22 days ago
2007
IEEE
We present a new technique that enables software recovery in legacy applications by retrofitting exception-handling capabilities, error virtualization using rescue points. We int...
146
click to vote
DSN
2005
IEEE
16 years 2 days ago
2005
IEEE
System call monitoring is a technique for detecting and controlling compromised applications by checking at runtime that each system call conforms to a policy that specifies the ...