3872 search results - page 337 / 775 » The Java memory model |
145
click to vote
COORDINATION
2009
Springer
16 years 4 months ago
2009
Springer
This paper presents a transactional framework for low-latency, high-performance, concurrent event processing in Java. At the heart of our framework lies Reflexes, a restricted prog...
120
click to vote
SOFSEM
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Formal methods are considered to be highly expensive. Therefore, they are currently applied almost only in high risk software development. In this paper, we show that for...
137
click to vote
PPDP
2007
Springer
15 years 10 months ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
101
click to vote
SIGMETRICS
2006
ACM
15 years 10 months ago
2006
ACM
The Java Messaging Service (JMS) facilitates communication among distributed software components according to the publish/subscribe principle. If the subscribers install filter r...
124
click to vote
ITICSE
2005
ACM
15 years 9 months ago
2005
ACM
“Objects-first” is an increasingly popular strategy for teaching object-oriented programming by introducing the concepts of objects, classes, and instances before procedural e...