4306 search results - page 398 / 862 » Timed Testing with TorX |
142
Voted
LATA
2009
Springer
15 years 10 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...
147
Voted
ICRA
2008
IEEE
15 years 10 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...
125
Voted
ICEIS
2006
IEEE
15 years 9 months 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...
134
Voted
RTAS
2005
IEEE
15 years 9 months 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 ...
128
Voted
TRIDENTCOM
2005
IEEE
15 years 9 months 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...