13489 search results - page 389 / 2698 » Operating System |
197
click to vote
EH
1999
IEEE
15 years 11 months ago
1999
IEEE
A system for exploring intrinsic evolution of linear and non-linear filter systems is described. It consists of a testbed topology of operational amplifiers and linear or non-line...
154
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper, we develop a theory of computable types suitable for the study of control systems. The theory uses type-two effectivity as the underlying computational model, bu...
282
Voted
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
It has long been recognized that multi-stream operators, such as union and join, often have to wait idly in a temporarily blocked state, as a result of skews between the timestamp...
163
click to vote
ECSQARU
2007
Springer
16 years 28 days ago
2007
Springer
We describe COBA 2.0, an implementation of a consistency-based framework for expressing belief change, focusing on revision and contraction (possibly) incorporating integrity cons...
185
click to vote
DIAU
2000
Springer
15 years 11 months ago
2000
Springer
We describe Freenet, a peer-to-peer network application that permits the publication, replication, and retrieval of data while protecting the anonymity of both authors and readers...