Sciweavers

8022 search results - page 156 / 1605
» Predictability in Critical Systems
Sort
View
117
Voted
JSCIC
2008
55views more  JSCIC 2008»
15 years 5 months ago
Modified Optimal Prediction and its Application to a Particle-Method Problem
Abstract The paper is concerned with system reduction by statistical methods and, in particular, by the optimal prediction method introduced in (Chorin, A.J., Hald, O.H., Kupferman...
Alina Chertock, David Gottlieb, Alex Solomonoff
POPL
2006
ACM
16 years 5 months ago
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
Steve Bishop, Matthew Fairbairn, Michael Norrish, ...
124
Voted
INFOCOM
2009
IEEE
15 years 11 months ago
Trap Coverage: Allowing Coverage Holes of Bounded Diameter in Wireless Sensor Networks
—Tracking of movements such as that of people, animals, vehicles, or of phenomena such as fire, can be achieved by deploying a wireless sensor network. So far only prototype sys...
Paul Balister, Zizhan Zheng, Santosh Kumar, Prasun...
RTAS
2008
IEEE
15 years 11 months ago
Hybrid Timing Analysis of Modern Processor Pipelines via Hardware/Software Interactions
Embedded systems are often subject to constraints that require determinism to ensure that task deadlines are met. Such systems are referred to as real-time systems. Schedulability...
Sibin Mohan, Frank Mueller
BMCBI
2007
147views more  BMCBI 2007»
15 years 5 months ago
Improved residue contact prediction using support vector machines and a large feature set
Background: Predicting protein residue-residue contacts is an important 2D prediction task. It is useful for ab initio structure prediction and understanding protein folding. In s...
Jianlin Cheng, Pierre Baldi