Sciweavers

1502 search results - page 17 / 301
» Computational Realizations of Living Systems
Sort
View
ICPPW
2000
IEEE
15 years 4 months ago
A Practical Realization of Parallel Disks
Several models of parallel disks are found in the literature. These models have been proposed to alleviate the I/O bottleneck arising in handling voluminous data. These models hav...
Sanguthevar Rajasekaran, Xiao-ming Jin
ARCS
2006
Springer
15 years 3 months ago
Safety, Liveness, and Information Flow: Dependability Revisited
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
Zinaida Benenson, Felix C. Freiling, Thorsten Holz...
NOSSDAV
1991
Springer
15 years 3 months ago
Kernel Support for Live Digital Audio and Video
: We have developed a real-time operating system kernel which has been used to support the transmission and reception of streams of live digital audio and video in real-time as par...
Kevin Jeffay, Donald L. Stone, F. Donelson Smith
ICDE
2001
IEEE
154views Database» more  ICDE 2001»
16 years 1 months ago
Dependable Computing in Virtual Laboratories
Many scientific disciplines are shifting from in vitro to in silico research as more physical processes and natural phenomena are examined in a computer (in silico) instead of bei...
Gustavo Alonso, Win Bausch, Cesare Pautasso, Ari K...
TASLP
2008
90views more  TASLP 2008»
14 years 11 months ago
Efficient Realization of Wave Digital Components for Physical Modeling and Sound Synthesis
Wave digital filters (WDFs) were originally developed for robust discrete-time simulation of analog filters, but recently they have been applied successfully to modeling of physica...
Matti Karjalainen