Sciweavers

346 search results - page 51 / 70
» Determinizing Asynchronous Automata
Sort
View
UML
2001
Springer
15 years 2 months ago
Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study
: There are many different ways to specify the requirements of complex software systems, and the optimal methods often vary according to the problem domain. We apply and compare tw...
Geri Georg, Jores Bieman, Robert B. France
ISLPED
1995
ACM
85views Hardware» more  ISLPED 1995»
15 years 1 months ago
Estimation of energy consumption in speed-independent control circuits
Abstract: We describe a technique to estimate the energy consumed by speed-independent asynchronous (clockless) control circuits. Because speed-independent circuits are hazard-free...
Peter A. Beerel, Cheng-Ta Hsieh, Suhrid A. Wadekar
ALGOSENSORS
2006
Springer
14 years 12 months ago
Computing Bridges, Articulations, and 2-Connected Components in Wireless Sensor Networks
Abstract. This paper presents a simple distributed algorithm to determine the bridges, articulation points, and 2-connected components in asynchronous networks with an at least onc...
Volker Turau
SIROCCO
1998
14 years 11 months ago
Time and Bit Optimal Broadcasting on Anonymous Unoriented Hypercubes
We consider broadcasting on asynchronous anonymous totally unoriented Nnode hypercubes. First we generalize a technique, introduced in 3 , for partial broadcasting and orientation...
Stefan Dobrev, Peter Ruzicka, Gerard Tel
CORR
2010
Springer
140views Education» more  CORR 2010»
14 years 6 months ago
Construction of New Delay-Tolerant Space-Time Codes
Perfect Space-Time Codes are optimal codes in their original construction for Multiple Input Multiple Output (MIMO) systems. Based on cyclic division algebras, they are full-rate,...
Mireille Sarkiss, Ghaya Rekaya-Ben Othman, Mohamed...