Sciweavers

2594 search results - page 156 / 519
» Elements of a Theory of Simulation
Sort
View
POPL
2003
ACM
14 years 10 months ago
A type system for higher-order modules
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
Derek Dreyer, Karl Crary, Robert Harper
DATE
2009
IEEE
98views Hardware» more  DATE 2009»
14 years 4 months ago
Dynamic and distributed frequency assignment for energy and latency constrained MP-SoC
—In this paper we present an adaptive technique to locally adjust the frequency of processing elements on MP-SoC. The proposed method, based on Game Theory, optimizes the system ...
Diego Puschini, Fabien Clermidy, Pascal Benoit, Gi...
ICALT
2007
IEEE
14 years 4 months ago
The application of IMS Learning Design to Develop Compute-based Educational Game
How can game designers realize the balance of “educational function” and “entertainment” in a Computer-based Educational Game (CEG)? The concept of IMS learning design (LD...
Miaomiao Zeng, Yueliang Zhou
MM
2005
ACM
103views Multimedia» more  MM 2005»
14 years 3 months ago
Diorama table
“diorama table “ is an interactive table installation. People place physical objects on the table and projected elements such as trains, cars, houses, and trees appear and are...
Keiko Takahashi, Shinji Sasada
ATAL
2005
Springer
14 years 3 months ago
Engineering agent interactions from ACL-based reusable connectors
This paper reports on the RICA−J multiagent programming framework, which provides executable constructs for each of the organizational, ACL-based modelling abstractions of the R...
Juan Manuel Serrano, Sascha Ossowski, Sergio Sauga...