627 search results - page 79 / 126 » Branched Polyhedral Systems |
COSIT
2007
Springer
14 years 21 days ago
2007
Springer
Abstract. Landmarks are crucial for human wayfinding. Their integration in wayfinding assistance systems is essential for generating cognitively ergonomic route directions. I prese...
COMPLEX
2009
Springer
14 years 21 days ago
2009
Springer
Allometric scaling is an important universal property of metabolic living systems. It also describes the self-similar branching treeliked structures in transportation networks. Thi...
DDECS
2009
IEEE
14 years 19 days ago
2009
IEEE
Low power consumption and high-performance are two main directions in the development of modern microprocessor architectures. In general they are two excluding branches of System-o...
DSN
2004
IEEE
14 years 15 days ago
2004
IEEE
In this paper, we present a hardware technique, called Self-Repairing Array Structures (SRAS), for masking hard faults in microprocessor array structures, such as the reorder buff...
FMSD
2006
13 years 8 months ago
2006
We define a cones and foci proof method, which rephrases the question whether two system specifications are branching bisimilar in terms of proof obligations on relations between ...