Sciweavers

2333 search results - page 285 / 467
» Recursive Computational Depth
Sort
View
FOSSACS
2010
Springer
15 years 9 months ago
Parameterised Multiparty Session Types
For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. T...
Nobuko Yoshida, Pierre-Malo Deniélou, Andi ...
DATE
2009
IEEE
127views Hardware» more  DATE 2009»
15 years 9 months ago
Sequential logic synthesis using symbolic bi-decomposition
This paper uses under-approximation of unreachable states of a design to derive incomplete specification of combinational logic. The resulting incompletely-specified functions are...
Victor N. Kravets, Alan Mishchenko
GLOBECOM
2009
IEEE
15 years 9 months ago
Optimal Relay-Subset Selection and Time-Allocation in Decode-and-Forward Cooperative Networks
—We present the optimal relay-subset selection and transmission-time for a decode-and-forward, half-duplex cooperative network of arbitrary size. The resource allocation is obtai...
Elzbieta Beres, Raviraj Adve
IROS
2009
IEEE
147views Robotics» more  IROS 2009»
15 years 9 months ago
A multi-hypothesis topological SLAM approach for loop closing on edge-ordered graphs
— We present a method for topological SLAM that specifically targets loop closing for edge-ordered graphs. Instead of using a heuristic approach to accept or reject loop closing...
Stephen Tully, George Kantor, Howie Choset, Felix ...
DNA
2009
Springer
100views Bioinformatics» more  DNA 2009»
15 years 8 months ago
Self-assembly of the Discrete Sierpinski Carpet and Related Fractals
It is well known that the discrete Sierpinski triangle can be defined as the nonzero residues modulo 2 of Pascal’s triangle, and that from this definition one can easily const...
Steven M. Kautz, James I. Lathrop