2940 search results - page 220 / 588 » Relational Parametricity and Control |
121
click to vote
NIME
2004
Springer
15 years 12 months ago
2004
Springer
A system is introduced that allows a string player to control a synthesis engine with the gestural skills he is used to. The implemented system is based on an electric viola and a...
158
click to vote
ICLP
2003
Springer
15 years 11 months ago
2003
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
156
click to vote
ROBOCUP
2001
Springer
15 years 11 months ago
2001
Springer
EIGEN participates in RoboCup at World Meeting for the rst time. Our team provides three robots of the same type and one goalkeeper robot. Our aim is to realize a cooperative team ...
191
click to vote
MICRO
2000
IEEE
15 years 10 months ago
2000
IEEE
Functionality and performance of EPIC architectural features depend on extensive compiler support. Predication, one of these features, promises to reduce control flow overhead and...
199
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper concerns the management of energy in data centers using a cyber-physical model that supports the coordinated control of both computational and thermal (cooling) resource...