575 search results - page 33 / 115 » Transition systems for designing and reasoning about norms |
DATE
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper presents an efficient method to find the optimal intra-task voltage/frequency scheduling for single tasks in practical real-time systems using statistical workload in...
130
click to vote
DATE
2007
IEEE
15 years 5 months ago
2007
IEEE
Solid frameworks and toolkits for design and analysis of embedded systems are of high importance, since they enable early reasoning about critical properties of a system. This pap...
AIIA
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Game generation systems perform automated, intelligent design of games (i.e. videogames, boardgames), reasoning about both the rule system of the game and the visual real...
IPPS
2009
IEEE
15 years 6 months ago
2009
IEEE
In this paper, we empirically evaluate fundamental design trade-offs among the most recent multicore processors and accelerator technologies. Our primary aim is to aid application...
EWHCI
1993
15 years 3 months ago
1993
One of the new design goals in Human Computer Interaction is to extend the sensory-motor capabilities of computer systems to better match the natural communication means of human b...