4418 search results - page 95 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
148
Voted
ZUM
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
113
click to vote
AISC
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Assumptions about the domains of partial functions are necessary in state-of-the-art proof assistants. On the other hand when mathematicians write about partial functions...
155
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
Traditionally, tracking systems require dedicated hardware to handle the computational demands and input/output rates imposed by real-time video sources. An alternative presented i...
141
click to vote
CLUSTER
2008
IEEE
15 years 10 months ago
2008
IEEE
—Lustre is becoming an increasingly important file system for large-scale computing clusters. The problem, however, is that many data-intensive applications use MPI-IO for their ...
137
click to vote
ECBS
2003
IEEE
15 years 9 months ago
2003
IEEE
Polymorphous computer-based systems are systems in which the CPU architecture “morphs” or changes shape to meet the requirements of the application. Optimized and efficient de...