Sciweavers

2142 search results - page 92 / 429
» An aspect-oriented approach for implementing evolutionary co...
Sort
View
ECEASST
2010
15 years 3 months ago
Testing as a Certification Approach
: For years, one of the main reasons to buy commercial software instead of adopting open-source applications was the, supposed, guarantee of quality. Unfortunately that was rarely ...
Alberto Simões, Nuno Carvalho, José ...
TCAD
2008
90views more  TCAD 2008»
15 years 6 months ago
Application and Verification of Local Nonsemantic-Preserving Transformations in System Design
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
Tarvo Raudvere, Ingo Sander, Axel Jantsch
GLVLSI
2006
IEEE
126views VLSI» more  GLVLSI 2006»
16 years 10 days ago
Hardware/software partitioning of operating systems: a behavioral synthesis approach
In this paper we propose a hardware real time operating system (HW-RTOS) solution that makes use of a dedicated hardware in order to replace the standard support provided by the P...
Sathish Chandra, Francesco Regazzoni, Marcello Laj...
LAWEB
2007
IEEE
16 years 17 days ago
Designing the Interface of Rich Internet Applications
In this paper we present a novel approach for designing the interface of rich internet applications. Our approach uses ract Data Views (ADV) design model allowing expressing in a ...
Matias Urbieta, Gustavo Rossi, Jeronimo Ginzburg, ...
FCCM
2008
IEEE
162views VLSI» more  FCCM 2008»
16 years 23 days ago
Multiobjective Optimization of FPGA-Based Medical Image Registration
With a multitude of technological innovations, one emerging trend in image processing, and medical image processing, in particular, is custom hardware implementation of computatio...
Omkar Dandekar, William Plishker, Shuvra S. Bhatta...