Sciweavers

4451 search results - page 437 / 891
» On Random Ordering Constraints
Sort
View
DATE
2009
IEEE
119views Hardware» more  DATE 2009»
16 years 1 months ago
Statistical fault injection: Quantified error and confidence
— Fault injection has become a very classical method to determine the dependability of an integrated system with respect to soft errors. Due to the huge number of possible error ...
Régis Leveugle, A. Calvez, Paolo Maistri, P...
INFOCOM
2009
IEEE
16 years 1 months ago
On the Properties of Giant Component in Wireless Multi-Hop Networks
—In this paper, we study the giant component, the largest component containing a non-vanishing fraction of nodes, in wireless multi-hop networks in d (d = 1, 2). We assume that n...
Xiaoyuan Ta, Guoqiang Mao, Brian D. O. Anderson
IROS
2009
IEEE
227views Robotics» more  IROS 2009»
16 years 1 months ago
Cell-RRT: Decomposing the environment for better plan
— In order to define an architecture for task and motion planning of a mobile robot, we propose the CellRRT path planner that combines the advantages of planning approaches by d...
Julien Guitton, Jean-Loup Farges, Raja Chatila
WADS
2009
Springer
265views Algorithms» more  WADS 2009»
16 years 1 months ago
A Distribution-Sensitive Dictionary with Low Space Overhead
The time required for a sequence of operations on a data structure is usually measured in terms of the worst possible such sequence. This, however, is often an overestimate of the ...
Prosenjit Bose, John Howat, Pat Morin
PPDP
2009
Springer
16 years 1 months ago
An embedded declarative data transformation language
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...
Paul Tarau