Sciweavers

29082 search results - page 5293 / 5817
» The Time-Triggered Model of Computation
Sort
View
GRID
2004
Springer
16 years 16 days ago
DiPerF: An Automated DIstributed PERformance Testing Framework
We present DiPerF, a distributed performance-testing framework, aimed at simplifying and automating service performance evaluation. DiPerF coordinates a pool of machines that test...
Catalin Dumitrescu, Ioan Raicu, Matei Ripeanu, Ian...
HYBRID
2004
Springer
16 years 16 days ago
Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems
Abstract. In this paper we model coupled genetic and metabolic networks as hybrid systems. The vector fields are multi - affine, i.e., have only product - type nonlinearities to a...
Calin Belta, Peter Finin, Luc C. G. J. M. Habets, ...
ICCS
2004
Springer
16 years 16 days ago
Demonstrating Wireless IPv6 Access to a Federated Health Record Server
: This paper describes the practical implementation of a federated health record server based on a generic and comprehensive architecture, deployed in a live clinical setting and a...
Dipak Kalra, David Ingram, A. Austin, V. Griffith,...
ICCS
2004
Springer
16 years 16 days ago
Crack Analysis in Single Plate Stressing of Particle Compounds
Particle compound material is the composition of different particles with inhomogeneous and non-uniform properties. Particle compound material is the most complicated engineering m...
Manoj Khanal, Wolfgang Schubert, Jürgen Tomas
ICFEM
2004
Springer
16 years 16 days ago
Learning to Verify Safety Properties
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gu...
« Prev « First page 5293 / 5817 Last » Next »