1635 search results - page 142 / 327 » Design Productivity for Configurable Computing |
115
click to vote
ECTEL
2009
Springer
14 years 11 months ago
2009
Springer
This paper focuses on the production of authoring tools that teachers may use to prototype interactive geographical web applications. We present some computational models and a too...
100
click to vote
AI
2006
Springer
15 years 1 months ago
2006
Springer
In many situations, a set of hard constraints encodes the feasible configurations of some system or product over which multiple users have distinct preferences. However, making su...
135
click to vote
INFOCOM
2007
IEEE
15 years 8 months ago
2007
IEEE
—One key adaptation mechanism often deployed in networking and computing systems is dynamic load balancing. The goal from employing dynamic load balancers is to ensure that the o...
101
click to vote
INTETAIN
2005
Springer
15 years 7 months ago
2005
Springer
This paper describes Squidball, a new large-scale motion capture based game. It was tested on up to 4000 player audiences last summer at SIGGRAPH 2004. It required the construction...
DAC
2009
ACM
15 years 8 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...