231 search results - page 4 / 47 » Using Analytic CLP to Model and Analyze Hybrid Systems |
DSN
2006
IEEE
13 years 9 months ago
2006
IEEE
We construct, analyze and solve models of systems where a number of servers offer services to an incoming stream of demands. Each server goes through alternating periods of being ...
AINA
2004
IEEE
13 years 9 months ago
2004
IEEE
This paper presents an auction system based on mobile agents. By using a proxy server, a user can generate a mobile auction agent by giving the bidding information, including the ...
RECOMB
2000
Springer
13 years 8 months ago
2000
Springer
DNA hybridization arrays simultaneously measure the expression level for thousands of genes. These measurements provide a "snapshot" of transcription levels within the c...
HASE
1999
IEEE
13 years 9 months ago
1999
IEEE
The state of the art in verifying the real-time requirements of applications developed using general processing graph models relies on simulation or off-line scheduling. We extend...
RTCSA
2003
IEEE
13 years 10 months ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by c...