419 search results - page 13 / 84 » A Thread of HOL Development |
IPPS
1999
IEEE
15 years 1 months ago
1999
IEEE
Massively parallel computers are increasingly being used to solve large, I/O intensive applications in many different fields. For such applications, the I/O requirements quite oft...
76
Voted
ICNP
1999
IEEE
15 years 1 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
ICMCS
2005
IEEE
15 years 3 months ago
2005
IEEE
We propose that, at the highest level of video understanding, the human needs for meaning and the methodologies to extract it are both universal and generic. One must develop an o...
ISORC
2006
IEEE
15 years 3 months ago
2006
IEEE
Automatic memory management or garbage collection greatly simplifies the development of large systems. However, garbage collection is usually not used in real-time systems due to...
84
Voted
LCTRTS
2001
Springer
15 years 1 months ago
2001
Springer
Strict control over the scheduling and execution of processor resources is essential for many fixed-priority real-time applications. To facilitate this common requirement, the Re...