2520 search results - page 287 / 504 » Model-checking behavioral programs |
101
click to vote
ICCD
2008
IEEE
15 years 11 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...
108
Voted
ICCD
2006
IEEE
15 years 11 months ago
2006
IEEE
— Identifying performance bottlenecks is important for microarchitects and application developers to produce high performance microprocessor designs and application software. Man...
85
Voted
IWPC
2008
IEEE
15 years 9 months 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...
117
Voted
SP
2007
IEEE
15 years 9 months 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...
97
Voted
DSN
2005
IEEE
15 years 8 months 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 ...