627 search results - page 76 / 126 » Branched Polyhedral Systems |
CIKM
2009
Springer
14 years 3 months ago
2009
Springer
We propose XQGen, a stand-alone, algebra-based XPath generator to aid engineers in testing and improving the design of XML query engines. XQGen takes an XML schema sketch and user...
RTSS
2008
IEEE
14 years 3 months ago
2008
IEEE
—Wormhole switching with fixed priority preemption has been proposed as a possible solution for real-time on-chip communication. However, none of current priority assignment pol...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— The Rapidly-exploring Random Tree (RRT) algorithm has found widespread use in the field of robot motion planning because it provides a single-shot, probabilistically c...
QEST
2007
IEEE
14 years 3 months ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
CC
2007
Springer
14 years 2 months ago
2007
Springer
We present a unification-based, context-sensitive escape and effect analysis that infers lightweight method summaries describing heap effects. The analysis is parameterized on two...