3256 search results - page 392 / 652 » Applications of Formal Methods to System Design and Verifica... |
197
click to vote
ASPLOS
2010
ACM
15 years 11 months ago
2010
ACM
Heterogeneous computing combines general purpose CPUs with accelerators to efficiently execute both sequential control-intensive and data-parallel phases of applications. Existin...
188
click to vote
PRDC
2008
IEEE
16 years 29 days ago
2008
IEEE
Many large scale systems, like grids and structured peer to peer systems, operate on a constrained topology. Since underlying networks do not expose the real topology to the appli...
236
Voted
ECRTS
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper presents a general framework for analyzing and designing embedded systems with energy and timing requirements. A set of realistic assumptions is considered in the model...
158
click to vote
EPS
1995
Springer
15 years 10 months ago
1995
Springer
Systems of selection and variation by recombination and/or mutation can be used to evolve images for computer graphics and animation. Interactive evolution can be used to direct t...
171
click to vote
EWCBR
2004
Springer
15 years 12 months ago
2004
Springer
Over the years, many successful applications of case-based reasoning (CBR) systems have been developed in different areas. The performance of CBR systems depends on several factor...