Sciweavers

11168 search results - page 106 / 2234
» Abstract State Processes
Sort
View
IROS
2006
IEEE
87views Robotics» more  IROS 2006»
15 years 10 months ago
Unraveling of Deformable Linear Objects Based on 2D Information about Their Crossing States
— A planning method for unraveling deformable linear objects based on 2D information about their crossing states is proposed. In manipulation of a linear object, its raveling mus...
Hidefumi Wakamatsu, Akira Tsumaya, Eiji Arai, Shin...
EUROSYS
2009
ACM
15 years 11 months ago
SnowFlock: rapid virtual machine cloning for cloud computing
Virtual Machine (VM) fork is a new cloud computing abstraction that instantaneously clones a VM into multiple replicas running on different hosts. All replicas share the same init...
Horacio Andrés Lagar-Cavilla, Joseph Andrew...
ANCS
2009
ACM
15 years 2 months ago
SANS: a scalable architecture for network intrusion prevention with stateful frontend
Inline stateful and deep inspection for intrusion prevention is becoming more challenging due to the increase in both the volume of network traffic and the complexity of the analy...
Fei He, Yaxuan Qi, Yibo Xue, Jun Li
ICASSP
2011
IEEE
14 years 8 months ago
A state space model for online polyphonic audio-score alignment
We present a novel online audio-score alignment approach for multiinstrument polyphonic music. This approach uses a 2-dimensional state vector to model the underlying score positi...
Zhiyao Duan, Bryan Pardo
ICCD
1995
IEEE
119views Hardware» more  ICCD 1995»
15 years 8 months ago
Extraction of finite state machines from transistor netlists by symbolic simulation
– This paper describes a new technique for extracting clock-level finite state machines(FSMs) from transistor netlists using symbolic simulation. The transistor netlist is prepr...
Manish Pandey, Alok Jain, Randal E. Bryant, Derek ...