Sciweavers

897 search results - page 46 / 180
» Reuse, Validation and Verification of System Development Pro...
Sort
View
DAGSTUHL
2006
15 years 4 months ago
A Petri Net Approach to Verify and Debug Simulation Models
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...
Peter Kemper, Carsten Tepper
SAC
2008
ACM
15 years 2 months ago
A reusable object-oriented design to support self-testable autonomic software
As the enabling technologies of autonomic computing continue to advance, it is imperative for researchers to exchange the details of their proposed techniques for designing, devel...
Tariq M. King, Alain E. Ramirez, Peter J. Clarke, ...
KIC
2000
15 years 4 months ago
Document-based Design Process Knowledge Management for Knowledge Intensive Engineering
: In this paper, we propose a fundamental idea of a new CAD architecture to facilitate design knowledge management. This architecture is useful to develop an advanced design suppor...
Yutaka Nomaguchi, Masaharu Yoshioka, Tetsuo Tomiya...
166
Voted
DSRT
2008
IEEE
15 years 4 months ago
RTPROC: A System for Rapid Real-Time Prototyping in Audio Signal Processing
In this contribution a new system for the rapid development of real-time prototypes for digital audio signal processing algorithms on Windows PCs and a Digital Signal Processor (D...
Hauke Krüger, Peter Vary
CF
2007
ACM
15 years 7 months ago
Massively parallel processing on a chip
MppSoC is a SIMD architecture composed of a grid of processors and memories connected by a X-Net neighbourhood network and a general purpose global router. MppSoC is an evolution ...
Philippe Marquet, Simon Duquennoy, Sébastie...