4306 search results - page 398 / 862 » Timed Testing with TorX |
187
click to vote
LATA
2009
Springer
16 years 1 months ago
2009
Springer
We introduce the class of Rigid Tree Automata (RTA), an extension of standard bottom-up automata on ranked trees with distinguished states called rigid. Rigid states define a rest...
196
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— In implementing a vision localization system, a crucial issue to consider is how to efficiently store and recall the necessary information so that the robot is not only able t...
177
click to vote
ICEIS
2006
IEEE
16 years 26 days ago
2006
IEEE
The satisfiability test checks, whether or not the evaluation of a query returns the empty set for any input document, and can be used in query optimization for avoiding the submis...
196
click to vote
RTAS
2005
IEEE
16 years 12 days ago
2005
IEEE
—Real-time systems need to use the schedulability test to determine whether or not admitted tasks can meet their deadlines. The utilization based schedulability test is the most ...
176
click to vote
TRIDENTCOM
2005
IEEE
16 years 12 days ago
2005
IEEE
This paper introduces an open access wideband multiantenna wireless testbed. The testbed is configured as a four transmit antenna by four receive antenna system based on software...