1524 search results - page 175 / 305 » The First Real Operating System for Reconfigurable Computers |
122
click to vote
DAC
2009
ACM
15 years 10 months ago
2009
ACM
With new technologies, temperature has become a major issue to be considered at system level design. Without taking temperature aspects into consideration, no approach to energy o...
141
click to vote
FLAIRS
2003
15 years 5 months ago
2003
We have developed a model-based, distributed architecture that integrates diverse components in a system designed for lunar and planetary surface operations: an astronaut’s spac...
154
click to vote
JAIR
2006
15 years 3 months ago
2006
Fast Downward is a classical planning system based on heuristic search. It can deal with general deterministic planning problems encoded in the propositional fragment of PDDL2.2, ...
136
click to vote
SBP
2012
Springer
13 years 11 months ago
2012
Springer
Interactions between individuals, both economic and social, are increasingly mediated by technological systems. Such platforms facilitate interactions by controlling and regularizi...
117
click to vote
JSS
2006
15 years 3 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...