31387 search results - page 410 / 6278 » Abstracts |
170
click to vote
PPOPP
2005
ACM
16 years 1 months ago
2005
ACM
Writing concurrent programs is notoriously difficult, and is of increasing practical importance. A particular source of concern is n correctly-implemented concurrency abstraction...
162
Voted
ADBIS
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. The need for a user-friendly query language becomes increas
180
click to vote
CASSIS
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...
166
Voted
CP
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. The availability of commodity multiprocessors offers significant opportunities for addressing the increasing computational requirements of optimization applications. To...
187
click to vote
ECOOP
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. In aspect-oriented programming, pointcuts are used to describe crossstructure. Pointcuts that abstract over irrelevant implementation details are clearly desired to bette...