1239 search results - page 101 / 248 » Techniques for the Design of Java Operating Systems |
CORR
2011
Springer
12 years 11 months ago
2011
Springer
ibe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension ...
MOBISYS
2005
ACM
14 years 7 months ago
2005
ACM
We present the design and implementation of the Horus WLAN location determination system. The design of the Horus system aims at satisfying two goals: high accuracy and low comput...
SIGOPSE
2000
ACM
14 years 11 days ago
2000
ACM
The algorithm for stabilising multiple stores, which we present in this paper, was developed in the process of designing the global stability and resilience mechanism for Grasshopp...
EDBT
2009
ACM
14 years 2 months ago
2009
ACM
NAND Flash has become the most popular stable storage medium for embedded systems. As on-board storage capacity increases, the need for efficient indexing techniques arises. Such ...
COMPSAC
2008
IEEE
14 years 2 months ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...