3820 search results - page 166 / 764 » Bounded Model Debugging |
151
click to vote
IPPS
2008
IEEE
15 years 9 months ago
2008
IEEE
The advent of multicore processors requires mainstream concurrent programming languages with high level concurrency constructs and effective debugging techniques. Unfortunately, m...
116
click to vote
ICSM
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper investigates how maintainability can be established in system integration (SI) projects where maintainers have no direct access to the source code of the third-party so...
137
click to vote
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
One of the keys for the success of parallel processing is the availability of high-level programming languages for on-the-shelf parallel architectures. Using explicit message passi...
105
click to vote
TVLSI
2008
15 years 2 months ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
140
click to vote
RTSS
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Many embedded platforms consist of a heterogeneous collection of processing elements, memory modules, and communication subsystems. These components often implement diff...