9110 search results - page 429 / 1822 » Formally-Based Design Evaluation |
197
click to vote
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
Crowd simulations require both rendering visually plausible images and managing the behavior of autonomous agents. Therefore, these applications need an efficient design that allo...
150
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents an exploration algorithm which examines execution time and energy consumption of a given application, while considering a parameterized memory architecture. Th...
189
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Trading rules are widely used by practitioners as an effective means to mechanize aspects of their reasoning about stock price trends. However, due to the simplicity of these rule...
171
click to vote
ICPP
1995
IEEE
15 years 10 months ago
1995
IEEE
Software barriers have been designed and evaluated for barrier synchronization in large-scale shared-memory multiprocessors, under the assumption that all processorsreach the sync...
169
click to vote
DIMEA
2008
15 years 8 months ago
2008
The vision of Pervasive and Ubiquitous Computing promises that our future environments will be furnished with an increasing number of computationally augmented artifacts. Conseque...