15860 search results - page 2525 / 3172 » Agent-Based Software Engineering |
194
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...
237
Voted
ISPASS
2005
IEEE
16 years 27 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...
242
click to vote
AADEBUG
2005
Springer
16 years 26 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...
213
click to vote
ISSTA
2004
ACM
16 years 22 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...
226
click to vote
IUI
2004
ACM
16 years 22 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...