2542 search results - page 181 / 509 » One step ahead |
ITC
2002
IEEE
14 years 3 months ago
2002
IEEE
With increasing chip interconnect distances, openinterconnect is becoming an important defect. The main challenge with open-interconnects stems from its non-deterministic real-lif...
DESRIST
2009
Springer
14 years 3 months ago
2009
Springer
Design has evolved from a craft into an academic discipline, but it still falls short on defining its own science. I review previous approaches to Design Science and conclude that...
ESOP
2001
Springer
14 years 3 months ago
2001
Springer
Abstract. In logic programming, dynamic scheduling refers to a situation where the selection of the atom in each resolution (computation) step is determined at runtime, as opposed ...
IFL
2001
Springer
14 years 3 months ago
2001
Springer
Abstract. J. Launchbury gave an operational semantics for lazy evaluation and showed that it is sound and complete w.r.t. a denotational s of the language. P. Sestoft then introduc...
ROBOCUP
2001
Springer
14 years 3 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 ...