Sciweavers

15614 search results - page 283 / 3123
» The State of State
Sort
View
EH
1999
IEEE
125views Hardware» more  EH 1999»
15 years 11 months ago
Improving Correctness of Finite-State Machine Synthesis from Multiple Partial Input/Output Sequences
Our previous work focused on the synthesis of sequential circuits based on a partial input/output sequence. As the behavioural description of the target circuit is not known the c...
Prabhas Chongstitvatana, Chatchawit Aporntewan
INFOCOM
1999
IEEE
15 years 11 months ago
The TIME-WAIT State in TCP and Its Effect on Busy Servers
Hosts providing important network services such as HTTP and FTP incur a per-connection memory load from TCP that can adversely affect their connection rate and throughput. The mem...
Theodore Faber, Joseph D. Touch, Wei Yue
RTAS
1999
IEEE
15 years 11 months ago
MIRROR: A State-Conscious Concurrency Control Protocol for Replicated Real-Time Databases
Data replication can help database systems meet the stringent temporal constraints of current time-critical applications, especially Internet-based services. A prerequisite, howev...
Ming Xiong, Krithi Ramamritham, Jayant R. Haritsa,...
FM
1999
Springer
99views Formal Methods» more  FM 1999»
15 years 11 months ago
Logspace Reducibility via Abstract State Machines
Erich Grädel, Marc Spielmann