Sciweavers

1769 search results - page 21 / 354
» An implementation of argument based discussion
Sort
View
CDC
2010
IEEE
118views Control Systems» more  CDC 2010»
13 years 2 months ago
Networked clock synchronization based on second order linear consensus algorithms
In this paper a distributed algorithm for clock synchronization is proposed. This algorithm is based on an extension of the consensus algorithm able to synchronize a family of dou...
Ruggero Carli, Sandro Zampieri
CORR
2004
Springer
103views Education» more  CORR 2004»
13 years 7 months ago
Towards a Model-Based Framework for Integrating Usability and Software Engineering Life Cycles
: In this position paper we propose a process model that provides a development infrastructure in which the usability engineering and software engineering life cycles co-exist in c...
Pardha S. Pyla, Manuel A. Pérez-Quiñ...
SPW
2005
Springer
14 years 1 months ago
Implementing a Multi-hat PDA
We describe our work in progress aimed at implementing a multi-hat PDA. Our current prototype is based on SELinux and KDE and accepts a proximity token, in the form of a Bluetooth ...
Matthew Johnson
ASAP
1997
IEEE
100views Hardware» more  ASAP 1997»
13 years 11 months ago
Processor Elements for the Standard Cell Implementation of Residue Number Systems
In this article processor elements for the effective implementation of standard cell circuits based on Residue Number Systems (RNS) are presented. Two new processors are proposed ...
Ansgar Drolshagen, H. Henkelmann, Walter Anheier
DAC
1994
ACM
13 years 11 months ago
BDD Variable Ordering for Interacting Finite State Machines
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
Adnan Aziz, Serdar Tasiran, Robert K. Brayton