Sciweavers

1029 search results - page 34 / 206
» An Architecture for Problem Solving with Diagrams
Sort
View
ISLPED
2003
ACM
96views Hardware» more  ISLPED 2003»
15 years 11 months ago
Effective graph theoretic techniques for the generalized low power binding problem
This paper proposes two very fast graph theoretic heuristics for the low power binding problem given fixed number of resources and multiple architectures for the resources. First...
Azadeh Davoodi, Ankur Srivastava
GECCO
2006
Springer
200views Optimization» more  GECCO 2006»
15 years 9 months ago
A new approach for shortest path routing problem by random key-based GA
In this paper, we propose a Genetic Algorithm (GA) approach using a new paths growth procedure by the random key-based encoding for solving Shortest Path Routing (SPR) problem. An...
Mitsuo Gen, Lin Lin
APNOMS
2006
Springer
15 years 10 months ago
Hybrid Inference Architecture and Model for Self-healing System
Distributed computing systems are continuously increasing in complexity and cost of managing, and system management tasks require significantly higher levels of autonomic managemen...
Giljong Yoo, Jeongmin Park, Eunseok Lee
ICSE
2008
IEEE-ACM
16 years 6 months ago
Constructing difference tools for models using the SiDiff framework
Model-driven development requires a full set of development tools. While technologies for constructing graphical editors, compilers etc. are readily available, there is a lack of ...
Maik Schmidt, Tilman Gloetzner
DAC
1994
ACM
15 years 9 months ago
Probabilistic Analysis of Large Finite State Machines
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...
Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fab...