2841 search results - page 438 / 569 » Parameterised system design based on genetic algorithms |
169
click to vote
ICPPW
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a methodology for aiding a scientific programmer to evaluate the performance of parallel programs on advanced architectures. It applies well-defined design o...
203
click to vote
TACAS
2001
Springer
15 years 11 months ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
218
click to vote
JAISE
2010
15 years 1 months ago
2010
In this paper we review the emerging field of responsive environments as an ambient intelligence system with a focus on user experience. We see responsive environments as a combina...
166
click to vote
SENSYS
2010
ACM
15 years 4 months ago
2010
ACM
Real-time transit tracking is gaining popularity as a means for transit agencies to improve the rider experience. However, many transit agencies lack either the funding or initiat...
187
click to vote
SAMOS
2004
Springer
15 years 11 months ago
2004
Springer
In recent years, power consumption has become a critical concern for many VLSI systems. Whereas several case studies demonstrate that technology-, layout-, and gate-level technique...