438 search results - page 34 / 88 » Efficient Timing Analysis Algorithms for Timed State Space E... |
137
Voted
FPL
2007
Springer
15 years 7 months ago
2007
Springer
Recently, there is a surge of interests in using FPGAs for computer architecture research including applications from emulating and analyzing a new platform to accelerating microa...
116
click to vote
ASPDAC
2007
ACM
15 years 7 months ago
2007
ACM
Abstract - This paper presents a fast and accurate global routing algorithm, DpRouter, based on two efficient techniques: (1) dynamic pattern routing (Dpr), and (2) segment movemen...
AAAI
2010
15 years 4 months ago
2010
The results of the latest International Probabilistic Planning Competition (IPPC-2008) indicate that the presence of dead ends, states with no trajectory to the goal, makes MDPs h...
141
Voted
CSCW
2002
ACM
15 years 3 months ago
2002
ACM
Bitmap-based collaborative graphics editing systems are a special class of real-time collaborative editing systems. Undo is an important and difficult problem in these systems. Ex...
112
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
The exploration problem is a central issue in mobile robotics. A complete terrain coverage is not practical if the environment is large with only a few small hotspots. This paper ...