12373 search results - page 153 / 2475 » Semi-Logarithmic Number Systems |
IPPS
2002
IEEE
14 years 3 months ago
2002
IEEE
HARNESS is an experimental metacomputing system that supports dynamic software reconfiguration, both of the resources that comprise the virtual machine and the services provided t...
IPPS
2002
IEEE
14 years 3 months ago
2002
IEEE
In this paper, we present an in-depth analysis of the memory system performance of the DSS commercial workloads on two state-of-the-art multiprocessors: the SGI Origin 2000 and th...
EMSOFT
2001
Springer
14 years 2 months ago
2001
Springer
: Run-time executives and operating system kernels for embedded systems have long relied exclusively on static priority scheduling of tasks to ensure timing constraints and other c...
ISWC
2000
IEEE
14 years 2 months ago
2000
IEEE
With the continuous availability of wearable computers, users have the opportunity to create and acquire large numbers of files. The ability to store and retrieve documents effect...
ARTS
1999
Springer
14 years 2 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...