1071 search results - page 71 / 215 » Using Cell-DEVS for Modeling Complex Cell Spaces |
148
click to vote
PROMISE
2010
14 years 10 months ago
2010
Search Based Software Engineering (SBSE) is an approach to software engineering in which search based optimization algorithms are used to identify optimal or near optimal solution...
161
click to vote
PERCOM
2010
ACM
15 years 1 months ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...
134
click to vote
ARVLSI
1999
IEEE
15 years 7 months ago
1999
IEEE
The ability of animals to select a limited region of sensory space for scrutiny is an important factor in dealing with cluttered or complex sensory environments. Such an attention...
147
click to vote
AAAI
2011
14 years 3 months ago
2011
We study iterative randomized greedy algorithms for generating (elimination) orderings with small induced width and state space size - two parameters known to bound the complexity...
156
click to vote
DAC
2010
ACM
15 years 3 months ago
2010
ACM
Given the increasing complexity of multi-processor systems-onchip, a wide range of parameters must be tuned to find the best trade-offs in terms of the selected system figures of ...