709 search results - page 133 / 142 » Type Checking in XOBE |
PLDI
2006
ACM
14 years 3 months ago
2006
ACM
One common technique for preventing data races in multi-threaded programs is to ensure that all accesses to shared locations are consistently protected by a lock. We present a too...
CCGRID
2005
IEEE
14 years 2 months ago
2005
IEEE
We have designed a stackable file system called Redundant Array of Independent Filesystems (RAIF). It combines the data survivability properties and performance benefits of trad...
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
— We introduce galsC, a language designed for programming event-driven embedded systems such as sensor networks. galsC implements the TinyGALS programming model. At the local lev...
ICITA
2005
IEEE
14 years 2 months ago
2005
IEEE
Intrusion Detection Systems (IDS) have become widely used tools for ensuring system and network security. Among many other challenges, contemporary IDS have to cope with increasin...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Elderly people are a great repository of knowledge, the majority of which has never been gathered by formal means. In this paper we introduce an application of multi-agen...