Sciweavers

1850 search results - page 89 / 370
» Design-for-debugging of application specific designs
Sort
View
138
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
Javert: fully automatic mining of general temporal properties from dynamic traces
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
Mark Gabel, Zhendong Su
EDOC
2006
IEEE
15 years 9 months ago
Requirements Traceability and Transformation Conformance in Model-Driven Development
The variety of design artefacts (models) produced in a model-driven design process results in an intricate relationship between requirements and the various models. This paper pro...
João Paulo A. Almeida, Pascal van Eck, Mari...
146
Voted
ECBS
2003
IEEE
111views Hardware» more  ECBS 2003»
15 years 8 months ago
Multigranular Simulation of Heterogeneous Embedded Systems
Heterogeneous embedded systems, where configurable or application specific hardware devices (FPGAs and ASICs) are used alongside traditional processors, are becoming more and more...
Aditya Agrawal, Ákos Lédeczi
105
Voted
GECCO
2007
Springer
194views Optimization» more  GECCO 2007»
15 years 9 months ago
High quality offset printing: an evolutionary approach
Print media are still very important for everyone's daily life. Current efforts are concerned with the application of the wellestablished offset-printing technology to other ...
Ralf Joost, Ralf Salomon
IWSSD
2000
IEEE
15 years 7 months ago
Issues in Analyzing the Behavior of Event Dispatching Systems
A good architecture is a necessary condition to guarantee that the expected levels of performance, availability, fault tolerance, and scalability are achieved by the implemented s...
Giovanni Bricconi, Emma Tracanella, Elisabetta Di ...