1453 search results - page 158 / 291 » State and history in operating systems |
165
click to vote
CIMCA
2008
IEEE
16 years 26 days ago
2008
IEEE
Complex and long-lived software need to be upgraded at runtime. Replacing a software component with a newer version is the basic evolution operation that has to be supported. It i...
154
click to vote
FCCM
2003
IEEE
15 years 11 months ago
2003
IEEE
A module has been implemented in Field Programmable Gate Array (FPGA) hardware that scans the content of Internet packets at Gigabit/second rates. All of the packet processing ope...
167
click to vote
SAS
1999
Springer
15 years 10 months ago
1999
Springer
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
182
click to vote
FMICS
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we show how Rate Transition Systems (RTSs) can be used as a unifying framework for the definition of the semantics of stochastic process algebras. RTSs facilitate the...
157
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper describes a decentralized consistency protocol for survivable storage that exploits local data versioning within each storage-node. Such versioning enables the protocol...