Sciweavers

3911 search results - page 327 / 783
» Using Operational Architecture to Model Embedded Software
Sort
View
DAC
2007
ACM
16 years 7 months ago
Optimization of Area in Digital FIR Filters using Gate-Level Metrics
In the paper, we propose a new metric for the minimization of area in the generic problem of multiple constant multiplications, and demonstrate its effectiveness for digital FIR f...
Eduardo A. C. da Costa, José C. Monteiro, L...
EMSOFT
2007
Springer
15 years 10 months ago
Verification of device drivers and intelligent controllers: a case study
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
David Monniaux
ICSM
2000
IEEE
15 years 11 months ago
Evolution in Open Source Software: A Case Study
Most studies of software evolution have been performed on systems developed within a single company using traditional management techniques. With the widespread availability of se...
Michael W. Godfrey, Qiang Tu
EEMMAS
2007
Springer
16 years 28 days ago
Engineering Business Ecosystems Using Environment-Mediated Interactions
Abstract The increasingly complex and dynamic nature of contemporary markets demands that a business engages in an ongoing dialogue with all aspects of its environment, including o...
César A. Marín, Iain Duncan Stalker,...
ROBOCUP
1998
Springer
128views Robotics» more  ROBOCUP 1998»
15 years 10 months ago
A Multi-Level Constraint-Based Controller for the Dynamo98 Robot Soccer Team
Abstract. Constraint Nets provide a semantic model for modeling hybrid dynamic systems. Controllers are embedded constraint solvers that solve constraints in real-time. A controlle...
Yu Zhang, Alan K. Mackworth