Sciweavers

5232 search results - page 344 / 1047
» Generative modeling: a symbolic system for geometric modelin...
Sort
View
183
Voted
ISSS
1999
IEEE
121views Hardware» more  ISSS 1999»
15 years 11 months ago
Event-Driven Power Management of Portable Systems
The policy optimization problem for dynamic power management has received considerable attention in the recent past. We formulate policy optimization as a constrained optimization...
Tajana Simunic, Giovanni De Micheli, Luca Benini
SSS
2010
Springer
125views Control Systems» more  SSS 2010»
15 years 4 months ago
Systematic Correct Construction of Self-stabilizing Systems: A Case Study
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Jo...
SBP
2012
Springer
14 years 2 months ago
The Impact of Network Structure on the Perturbation Dynamics of a Multi-agent Economic Model
Complex adaptive systems (CAS) modeling has become a common tool to study the behavioral dynamics of agents in a broad range of disciplines from ecology to economics. Many modelers...
Marshall A. Kuypers, Walter E. Beyeler, Robert J. ...
CP
2003
Springer
15 years 12 months ago
A SAT-Based Approach to Multiple Sequence Alignment
Multiple sequence alignment is a central problem in Bioinformatics. A known integer programming approach is to apply branch-and-cut to exponentially large graph-theoretic models. T...
Steven David Prestwich, Desmond G. Higgins, Orla O...
DATE
2005
IEEE
119views Hardware» more  DATE 2005»
16 years 10 days ago
Functional Validation of System Level Static Scheduling
Increase in system level modeling has given rise to a need for efficient functional validation of models above cycle accurate level. This paper presents a technique for comparing...
Samar Abdi, Daniel D. Gajski