Sciweavers

15614 search results - page 12 / 3123
» The State of State
Sort
View
IFIPTCS
2000
13 years 11 months ago
Hierarchical State Machines
Hierarchical state machines are finite state machines whose states themselves can be other machines. In spite of their popularity in many modeling tools for software design, very l...
Mihalis Yannakakis
FCS
2006
13 years 8 months ago
Mixed States in Quantum Cryptography
Ansis Rosmanis, Ilze Dzelme-Berzina
ICCAD
1999
IEEE
74views Hardware» more  ICCAD 1999»
13 years 11 months ago
Lazy group sifting for efficient symbolic state traversal of FSMs
This paper proposes lazy group sifting for dynamic variable reordering during state traversal. The proposed method relaxes the idea of pairwise grouping of present state variables...
Hiroyuki Higuchi, Fabio Somenzi
HOTOS
2003
IEEE
14 years 23 days ago
The Case for a Session State Storage Layer
This paper motivates the need for a session state storage layer. Session state is used in a large class of applications. Existing session state storage solutions often rely on ad-...
Benjamin C. Ling, Armando Fox
GLOBECOM
2008
IEEE
14 years 1 months ago
A Framework for Network State Management in the Next-Generation Internet Architecture
—In the next-generation Internet architecture, more functionality will be placed in the data path of routers in the form of “services” and other packet processing features. T...
Xin Huang, Sivakumar Ganapathy, Tilman Wolf