365 search results - page 8 / 73 » Types for Safe Locking |
113
Voted
ACSC
2005
IEEE
15 years 8 months ago
2005
IEEE
We present a simple approach for implementing flexible locking strategies in a system of components, which may themselves be composite objects. The approach is flexible in that a ...
107
click to vote
ECOOP
2010
Springer
15 years 7 months ago
2010
Springer
Event-driven programming is a major paradigm in concurrent and communication-based programming, and a widely adopted approach to building scalable high-concurrency servers. However...
150
Voted
IEEEARES
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting memory errors in C source code. We extend the standard C type system with effect, region, and host annotat...
143
click to vote
AFP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without a...
131
Voted
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
The Real-Time Specification for Java (RTSJ) allows a program to create real-time threads with hard real-time constraints. Real-time threads use region-based memory management to ...