2114 search results - page 83 / 423 » A model of cooperative threads |
TLDI
2003
ACM
14 years 2 months ago
2003
ACM
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
LCPC
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. We describe Fastpath, a system for speculative parallelization of sequential programs on conventional multicore processors. Our system distinguishes between the lead thre...
HICSS
1995
IEEE
14 years 14 days ago
1995
IEEE
The architecture for a shared memory CPU is described. The CPU allows for parallelism down to the level of single instructions and is tolerant of memory latency. All executable in...
RTAS
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract—Some real-time kernels (such as a recent realtime version of Linux) permit to execute interrupt handlers in dedicated threads, to control their interference on realtime ...
RTS
2010
13 years 3 months ago
2010
Automatic memory management or garbage collection greatly simplifies development of large systems. However, garbage collection is usually not used in real-time systems due to the u...