16725 search results - page 2703 / 3345 » Engineering Software Correctness |
192
click to vote
LCTRTS
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a tool for automatic synthesis of RTL interfaces for heterogeneous MPSoC from transaction level models (TLMs). The tool captures the communication parameters i...
234
click to vote
ISPASS
2005
IEEE
16 years 23 days ago
2005
IEEE
Today’s general-purpose processors are increasingly using multithreading in order to better leverage the additional on-chip real estate available with each technology generation...
240
click to vote
AADEBUG
2005
Springer
16 years 22 days ago
2005
Springer
This paper introduces program chipping, a simple yet effective technique to isolate bugs. This technique automatically removes or chips away parts of a program so that the part t...
212
click to vote
ISSTA
2004
ACM
16 years 19 days ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
225
click to vote
IUI
2004
ACM
16 years 19 days ago
2004
ACM
In this paper, we describe a new approach to the creation of virtual environments, which uses qualitative physics to implement object behaviour. We adopted Qualitative Process The...