Sciweavers

2607 search results - page 56 / 522
» On the Architecture of System Verification Environments
Sort
View
CASES
2007
ACM
15 years 3 months ago
SCCP/x: a compilation profile to support testing and verification of optimized code
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
Raimund Kirner
WISES
2004
15 years 1 months ago
Towards a Rapid Prototyping Framework for Architecture Exploration in Embedded Systems
-- In this paper a Rapid Prototyping Framework and next steps towards the support for interactive Architecture Exploration based on the SPEAR processor core (Scalable Processor for...
Martin Jankela, Wolfgang Puffitsch, Wolfgang Huber
ENTCS
2010
144views more  ENTCS 2010»
14 years 12 months ago
Integrating Component Tests to System Tests
During the verification phase in component-oriented approaches to (embedded) system development component tests are generally followed by system tests, often using different testi...
Bernhard Schätz, Christian Pfaller
GPC
2007
Springer
15 years 6 months ago
Architecture-Based Autonomic Deployment of J2EE Systems in Grids
Abstract. The deployment of J2EE systems in Grid environments remains a difficult task: the architecture of these applications are complex and the target environment is heterogene...
Didier Hoareau, Takoua Abdellatif, Yves Mahé...
DATE
2006
IEEE
135views Hardware» more  DATE 2006»
15 years 5 months ago
FPGA architecture characterization for system level performance analysis
We present a modular and scalable approach for automatically extracting actual performance information from a set of FPGA-based architecture topologies. This information is used d...
Douglas Densmore, Adam Donlin, Alberto L. Sangiova...