Sciweavers

1276 search results - page 237 / 256
» Complexity of Fractran and Productivity
Sort
View
UML
2001
Springer
13 years 11 months ago
Refactoring UML Models
Software developers spend most of their time modifying and maintaining existing products. This is because systems, and consequently their design, are in perpetual evolution before ...
Gerson Sunyé, Damien Pollet, Yves Le Traon,...
IV
2000
IEEE
110views Visualization» more  IV 2000»
13 years 11 months ago
MACAO - A Journey into CAx Interoperability and Collaborative Design
The increasing parallelisation of development processes as well as the ongoing trends towards virtual product development and outsourcing of development activities strengthen the ...
Florian Arnold
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
13 years 11 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
ARVLSI
1999
IEEE
112views VLSI» more  ARVLSI 1999»
13 years 11 months ago
Architectural Considerations for Application-Specific Counterflow Pipelines
Application-specific processor design is a promising approach for meeting the performance and cost goals of a system. Application-specific processors are especially promising for ...
Bruce R. Childers, Jack W. Davidson
EUROMICRO
1999
IEEE
13 years 11 months ago
Software Synthesis for System Level Design Using Process Execution Trees
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
Leo J. van Bokhoven, Jeroen Voeten, Marc Geilen