Sciweavers

1222 search results - page 215 / 245
» Verifying a File System Implementation
Sort
View
ICRA
2005
IEEE
186views Robotics» more  ICRA 2005»
15 years 5 months ago
Experimental Studies of a Neural Oscillator for Biped Locomotion with QRIO
— Recently, there has been a growing interest in biologically inspired biped locomotion control with Central Pattern Generator (CPG). However, few experimental attempts on real h...
Gen Endo, Jun Nakanishi, Jun Morimoto, Gordon Chen...
EGOV
2005
Springer
15 years 5 months ago
Monitoring and Updating Regulations and Policies for Government Services
One of the challenges citizens and businesses face in interacting with governments for entitled services or compliance services is to find the right set of regulations and rules th...
Soon Ae Chun, Edwin Portscher, James Geller
TACAS
2005
Springer
155views Algorithms» more  TACAS 2005»
15 years 5 months ago
Context-Bounded Model Checking of Concurrent Software
The interaction among concurrently executing threads of a program results in insidious programming errors that are difficult to reproduce and fix. Unfortunately, the problem of ve...
Shaz Qadeer, Jakob Rehof
CDVE
2004
Springer
109views Visualization» more  CDVE 2004»
15 years 5 months ago
Interest Management for Collaborative Environments Through Dividing Their Shared State
Not all participants in a collaborative virtual environment (CVE) need to be informed of every other participant’s activities. The technique used for filtering irrelevant message...
Michal Masa, Jiri Zara
FPGA
2004
ACM
158views FPGA» more  FPGA 2004»
15 years 5 months ago
A novel coarse-grain reconfigurable data-path for accelerating DSP kernels
In this paper, an efficient implementation of a high performance coarse-grain reconfigurable data-path on a mixed-granularity reconfigurable platform is presented. It consists of ...
Michalis D. Galanis, George Theodoridis, Spyros Tr...