Sciweavers

1675 search results - page 225 / 335
» Compositional Model-Based Design
Sort
View
FPL
2008
Springer
104views Hardware» more  FPL 2008»
13 years 10 months ago
A technique for minimizing power during FPGA placement
This paper considers the implementation of an annealing technique for dynamic power reduction in FPGAs. The proposed method comprises a power-aware objective function for placemen...
Kristofer Vorwerk, Madhu Raman, Julien Dunoyer, Ya...
MIE
2008
112views Healthcare» more  MIE 2008»
13 years 10 months ago
Reusing Models of Actors and Services in Smart Homecare to Improve Sustainability
: Industrial countries are faced with a growing elderly population. Homecare systems with assistive smart house technology enable elderly to live independently at home. Development...
Ståle Walderhaug, Erlend Stav, Marius Mikals...
SE
2007
13 years 10 months ago
Requirements traceability in the model-based testing process
: Automated test case and test driver generation from a precise behaviour UML model is an emerging approach for software functional validation. This innovative approach for validat...
Eddy Bernard, Bruno Legeard
APCCM
2006
13 years 10 months ago
The formal semantics of the timeER model
A wide range of database applications manage information that varies over time. Many of the underlying database schemas of these were designed using one of the several versions of...
Heidi Gregersen
WSC
2004
13 years 10 months ago
Utilizing Simulation to Evaluate Business Decisions in Sense-and-Respond Systems
Simulation can be an effective way to evaluate alternative decisions in Sense-and-Respond systems prior to taking actions to resolve existing or anticipated business situations. I...
Paul Huang, Young M. Lee, Lianjun An, Markus Ettl,...