4693 search results - page 931 / 939 » Verifying Hybrid Systems |
120
click to vote
BMCBI
2006
15 years 13 days ago
2006
Background: We present an approach designed to identify gene regulation patterns using sequence and expression data collected for Saccharomyces cerevisae. Our main goal is to rela...
114
click to vote
CN
2006
15 years 13 days ago
2006
In this paper, we perform a stochastic analysis of the packet-pair technique, which is a widely used method for estimating the network bandwidth in an end-to-end manner. There has...
109
click to vote
EXPERT
2006
15 years 11 days ago
2006
abstraction rules that hide the complexity of systems of components. We've begun this process in the domain of sensor/actuator network applications, observing that in manyappl...
JCSS
2008
15 years 11 days ago
2008
Dynamically allocating computing nodes to parallel applications is a promising technique for improving the utilization of cluster resources. Detailed simulations can help identify...
89
Voted
JOT
2006
15 years 10 days ago
2006
This paper presents the middleware needed to deploy jobs to non-geographically colocated clusters with decentralized look-up severs. We have named our framework the Initium Remote...