1932 search results - page 246 / 387 » Molecule-oriented programming in Java |
102
Voted
SPIN
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
95
Voted
ESOP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
107
Voted
ICSE
2007
IEEE-ACM
15 years 6 months ago
2007
IEEE-ACM
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...
114
Voted
IWMM
2007
Springer
15 years 6 months ago
2007
Springer
In this work, we present accordion arrays, a straightforward and effective memory compression technique targeting Unicode-based character arrays. In many non-numeric Java programs...
81
Voted
OOPSLA
2005
Springer
15 years 6 months ago
2005
Springer
The standard dispatching mechanisms built into programming languages are sometimes inadequate to the needs of the programmer. In the case of Java, the need for more flexibility h...