Sciweavers

1715 search results - page 270 / 343
» Embedded Systems and Real-Time Programming
Sort
View
ERSHOV
1993
Springer
15 years 9 months ago
Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling
Distributed database applications are a wide use of distributed systems. One of the major advantages of distributed database systems is the potential for achieving high availabili...
Hanan Lutfiyya, Bruce M. McMillin, Alan Su 0002
ESOP
2009
Springer
15 years 11 months ago
Amortised Memory Analysis Using the Depth of Data Structures
Hofmann and Jost have presented a heap space analysis [1] that finds linear space bounds for many functional programs. It uses an amortised analysis: assigning hypothetical amount...
Brian Campbell
LCTRTS
2007
Springer
15 years 11 months ago
Hierarchical real-time garbage collection
Memory management is a critical issue for correctness and performance in real-time embedded systems. Recent work on real-time garbage collectors has shown that it is possible to p...
Filip Pizlo, Antony L. Hosking, Jan Vitek
STEP
2003
IEEE
15 years 10 months ago
Improvement of Test Data by Measuring SQL Statement Coverage
Many software applications produced today have a component, of lesser or greater importance to the structure, that is based on database management systems. What is more, this infor...
María José Suárez Cabal, Javi...
IFIP
1998
Springer
15 years 9 months ago
Concurrent Algorithms and Data Types Animation over the Internet
We present a distributed algorithm animation system called Catai (for Concurrent Algorithms and data Types Animation over the Internet). Among the features of this system are a lo...
Giuseppe Cattaneo, Umberto Ferraro Petrillo, Giuse...