7124 search results - page 495 / 1425 » Programming Languages and Operating Systems |
186
click to vote
AMAST
2004
Springer
15 years 11 months ago
2004
Springer
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...
162
click to vote
APLAS
2008
ACM
15 years 9 months ago
2008
ACM
Researchers repeatedly observed that the module system of ML and the type class mechanism of Haskell are related. So far, this relationship has received little formal investigation...
160
click to vote
ECOOP
2008
Springer
15 years 9 months ago
2008
Springer
Abstract The importance of providing integration architectures in every field of application is beyond controversy these days. Unfortunately, existing solutions are focusing mainly...
218
click to vote
LCPC
2009
Springer
16 years 5 days ago
2009
Springer
The advent of multicores presents a promising opportunity for exploiting fine grained parallelism present in programs. Programs parallelized in the above fashion, typically involv...
207
click to vote
CCR
2008
15 years 7 months ago
2008
Flow records gathered by routers provide valuable coarse-granularity traffic information for several measurement-related network applications. However, due to high volumes of traf...