3500 search results - page 451 / 700 » Implementing Java on Clusters |
129
click to vote
ICFEM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
113
click to vote
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
Programmers tend to understand programs by thinking of concrete examples. Example Centric Programming seeks to add IDE support for examples throughout the process of programming. ...
120
Voted
SEM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Context-awareness refers to a computing model where application behavior is driven by a continually-changing environment. Mobile computing poses unique challenges to cont...
117
Voted
WDAG
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. First-in-first-out (FIFO) queues are among the most fundamental and highly studied concurrent data structures. The most effective and practical dynamic-memory concurren...
113
click to vote
ACSD
2003
IEEE
15 years 7 months ago
2003
IEEE
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...