717 search results - page 86 / 144 » Kill-safe synchronization abstractions |
198
click to vote
ECOOPW
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Software evolution has largely been focused on low-level implementation artefacts through refactoring techniques rather than the architectural level. However code-centric...
168
click to vote
JSSPP
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Buffered coscheduling is a new methodology that can substantially increase resource utilization, improve response time, and simplify the development of the run-time suppo...
187
click to vote
ASYNC
1997
IEEE
15 years 9 months ago
1997
IEEE
Abstract-This paper describes the design and verification of a high-performance asynchronous differential equation solver benchmark circuit. The design has low control overhead whi...
152
click to vote
SPIN
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. In this article, we address the problem of statically determining an approximation of the communication topology of concurrent programs. These programs may contain dynami...
202
click to vote
NOSSDAV
1995
Springer
15 years 9 months ago
1995
Springer
Abstract. This paper presents the design, implementation and experimental analysis of a distributed, real-time MPEG video and audio player. The player is designed for use across th...