2615 search results - page 294 / 523 » Analysis of Real Time Operating System Based Applications |
126
Voted
ICLP
2007
Springer
15 years 7 months ago
2007
Springer
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...
157
Voted
ER
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Understanding a large schema without the assistance of persons already familiar with it (and its associated applications), is a hard and very time consuming task that occ...
128
Voted
ISAAC
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Fast algorithms for arithmetic on real or complex polynomials are wellknown and have proven to be not only asymptotically efficient but also very practical. Based on Fas...
136
Voted
GPC
2007
Springer
15 years 9 months ago
2007
Springer
We present in this paper the recent developments done in P2P-MPI, a grid middleware, concerning the fault management, which covers fault-tolerance for applications and fault detect...
134
Voted
RTDB
2001
15 years 5 months ago
2001
A database system contains base data items which record and model a physical, real world environment. For better decision support, base data items are summarized and correlated to...