Sciweavers

2467 search results - page 309 / 494
» Finite State Machines
Sort
View
ICRA
2007
IEEE
137views Robotics» more  ICRA 2007»
16 years 26 days ago
Integrated Debugging of Large Modular Robot Ensembles
Abstract— Creatively misquoting Thomas Hobbes, the process of software debugging is nasty, brutish, and all too long. This holds all the more true in robotics, which frequently i...
Benjamin D. Rister, Jason Campbell, Padmanabhan Pi...
PDP
2007
IEEE
16 years 25 days ago
Parallel-External Computation of the Cycle Structure of Invertible Cryptographic Functions
We present an algorithm to compute the cycle structure of large directed graphs where each node has exactly one outgoing edge. Such graphs appear as state diagrams of finite stat...
Andreas Beckmann, Jorg Keller
ECTEL
2007
Springer
16 years 22 days ago
Conceiving Digital Literacies in Schools - Norwegian Experiences
As a frame of reference I will discuss the present situation in Norway where new national curriculum states that digital literacy is as important as reading, writing and numeracy....
Ola Erstad
HICSS
2006
IEEE
144views Biometrics» more  HICSS 2006»
16 years 18 days ago
The Choreography Model for IRS-III
This paper describes how we manage the interaction between different heterogeneous web services through choreographies within IRS-III. IRS-III is a framework and platform for deve...
John Domingue, Stefania Galizia, Liliana Cabral
DFT
2003
IEEE
246views VLSI» more  DFT 2003»
15 years 12 months ago
Low Cost Convolutional Code Based Concurrent Error Detection in FSMs
We discuss the use of convolutional codes to perform concurrent error detection (CED) in finite state machines (FSMs). We examine a previously proposed methodology, we identify i...
Konstantinos Rokas, Yiorgos Makris, Dimitris Gizop...