1304 search results - page 220 / 261 » Model Checking C Programs Using F-SOFT |
107
click to vote
CGF
2008
15 years 2 months ago
2008
We present the Memory Trace Visualizer (MTV), a tool that provides interactive visualization and analysis of the sequence of memory operations performed by a program as it runs. A...
129
click to vote
SP
2003
IEEE
15 years 7 months ago
2003
IEEE
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...
122
click to vote
SIGMETRICS
2010
ACM
15 years 7 months ago
2010
ACM
Perhaps surprisingly, no practical performance models exist for popular (and complex) client applications such as Adobe’s Creative Suite, Microsoft’s Office and Visual Studio...
110
Voted
ICIP
2003
IEEE
15 years 7 months ago
2003
IEEE
We present a novel solution to the inter-camera color calibration problem, which is very important for multi-camera systems. We propose a distance metric and a model function to e...
121
Voted
MOBIHOC
2009
ACM
16 years 3 months ago
2009
ACM
Distributed scheduling algorithms for wireless ad hoc networks have received substantial attention over the last decade. The complexity levels of these algorithms span a wide spec...