Sciweavers

7380 search results - page 585 / 1476
» Engineering Software Intensive Systems
Sort
View
FASE
2005
Springer
16 years 6 hour ago
A Framework for Counterexample Generation and Exploration
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...
Marsha Chechik, Arie Gurfinkel
COMPSAC
2002
IEEE
15 years 11 months ago
Object Identification in Legacy Code as a Grouping Problem
Maintenance is undoubtedly the most effort-consuming activity in software production whereby the entropy of legacy systems (e.g., due to redundancies, poor modularity and lack of ...
Houari A. Sahraoui, Petko Valtchev, Idrissa Konkob...
CODES
1996
IEEE
15 years 10 months ago
Partitioning and Exploration Strategies in the TOSCA Co-Design Flow
The TaSCA environment for hardware/software co-design of control dominated systems implemented on a single chip includes a novel approach to the system exploration phase for the e...
Alessandro Balboni, William Fornaciari, Donatella ...
EWSA
2006
Springer
15 years 10 months ago
Eliminating Execution Overhead of Disabled Optional Features in Connectors
Connectors are used to realize component interactions in component systems. Apart from their primary function, which is mediating the communication, their implementation can also s...
Lubomír Bulej, Tomás Bures
ARCS
2005
Springer
16 years 21 hour ago
A File System for System Programming in Ubiquitous Computing
In Ubiquitous computing small embedded sensor and computing nodes are the main enabling technologies. System programming for such small embedded systems is a challenging task invol...
Christian Decker, Michael Beigl, Albert Krohn