177 search results - page 14 / 36 » arc 2008 |
DCG
2007
13 years 7 months ago
2007
We study two notions. One is that of spindle convexity. A set of circumradius not greater than one is spindle convex if, for any pair of its points, it contains every short circula...
FORMATS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. In this paper, we propose a new framework for the parametric verification of time Petri nets with stopwatches controlled by inhibitor arcs. We first introduce an extensio...
ARC
2008
Springer
13 years 7 months ago
2008
Springer
Abstract: A key challenge for wireless industrial networking is to successfully transmit a packet within a prescribed deadline despite the unfriendly properties of the wireless tra...
ARC
2008
Springer
13 years 9 months ago
2008
Springer
We present an improved method for scheduling speculative data paths which relies on cancel tokens to undo computations in misspeculated paths. Performancewise, this method is consi...
ARC
2008
Springer
13 years 7 months ago
2008
Springer
: This paper describes the theory of feedback control in the class inputs which allow delta-functions and their derivatives. It indicates a modification of dynamic programming tech...