2019 search results - page 266 / 404 » Programming with Shared Data Abstractions |
112
Voted
EDBTW
2006
Springer
15 years 6 months ago
2006
Springer
Reactivity, the ability to detect and react to events, is an essential functionality in many information systems. In particular, Web systems such as online marketplaces, adaptive (...
120
click to vote
ESOP
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Linear type systems allow destructive operations such as object deallocation and imperative updates of functional data structures. These operations and others, such as th...
107
Voted
DLOG
2007
15 years 5 months ago
2007
Abstract. To make ABox reasoning scalable for large ABoxes in description logic (DL) knowledge bases, we develop a method for partitioning the ABox so that specific kinds of reaso...
148
click to vote
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
105
click to vote
DAGM
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. This paper presents a fast object class localization framework implemented on a data parallel architecture currently available in recent computers. Our case study, the im...