1150 search results - page 108 / 230 » Tackling Large State Spaces in Performance Modelling |
155
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we present a novel approach to mobile robot navigation in natural unstructured environments. Natural scenes can be considered as random fields where a large number ...
167
click to vote
FMSD
2007
15 years 4 months ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
132
click to vote
PATMOS
2004
Springer
15 years 9 months ago
2004
Springer
Portableembeddeddevicesmustpresentlyrunmultimediaandwireless network applications with enormous computational performance requirements at a low energy consumption. In these applica...
127
click to vote
ISCA
2010
IEEE
15 years 9 months ago
2010
IEEE
Power consumption has become a major constraint in the design of processors today. To optimize a processor for energyefficiency requires an examination of energy-performance trade...
108
click to vote
ICCAD
2005
IEEE
16 years 28 days ago
2005
IEEE
Abstract— A Kauffman network is an abstract model of gene regulatory networks. Each gene is represented by a vertex. An edge from one vertex to another implies that the former ge...