10213 search results - page 370 / 2043 » An Experimental Analysis of Parallel |
115
click to vote
HPCN
1995
Springer
15 years 8 months ago
1995
Springer
We present a tool for the simulation and analysis of materials properties. This tool comprises simulation methods for models of materials (metal and polymer materials) as well as ...
114
Voted
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...
118
click to vote
FTDCS
1997
IEEE
15 years 8 months ago
1997
IEEE
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...
207
click to vote
ISORC
2011
IEEE
14 years 8 months ago
2011
IEEE
—Static cache analysis for data allocated on the heap is practically impossible for standard data caches. We propose a distinct object cache for heap allocated data. The cache is...
160
click to vote
DATE
1999
IEEE
15 years 8 months ago
1999
IEEE
Reachability analysis of finite state machines is essential to many computer-aided design applications. We present new techniques to improve both approximate and exact reachabilit...