2935 search results - page 366 / 587 » An Integrated Approach to High Integrity Software Verificati... |
175
click to vote
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
Tracing is a dynamic analysis technique to continuously capture events of interest on a running program. The occurrence of a statement, the invocation of a function, and the trigg...
166
click to vote
IWSSD
2000
IEEE
15 years 10 months ago
2000
IEEE
We seek to facilitate development of high quality software designs and architectures by using rigorous process definitions to guide application of the complex structure of relati...
152
click to vote
CGO
2007
IEEE
16 years 24 days ago
2007
IEEE
The demand for high performance has driven acyclic computation accelerators into extensive use in modern embedded and desktop architectures. Accelerators that are ideal from a sof...
167
click to vote
CGO
2003
IEEE
15 years 11 months ago
2003
IEEE
With the emergence of software delivery platforms such as Microsoft’s .NET, reduced size of transmitted binaries has become a very important system parameter strongly affecting ...
162
click to vote
CIDR
2007
15 years 8 months ago
2007
Prior research shows that database system performance is dominated by off-chip data stalls, resulting in a concerted effort to bring data into on-chip caches. At the same time, hi...