12438 search results - page 266 / 2488 » The Magic of a Number System |
197
click to vote
EMSOFT
2001
Springer
15 years 11 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...
200
click to vote
ISWC
2000
IEEE
15 years 11 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...
215
click to vote
ARTS
1999
Springer
15 years 11 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...
194
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
We propose a periodic diagnostic algorithm based on the testing model of computation for real-time systems. The diagnostic task runs on every processor of the system. When the task...
176
click to vote
WCRE
1998
IEEE
15 years 11 months ago
1998
IEEE
Types are a good starting point for various software reengineering tasks. Unfortunately, programs requiring reengineering most desperately are written in languages without an adeq...