1299 search results - page 81 / 260 » Why Not Use a Pattern-Based Parallel Programming System |
145
Voted
CIDR
2009
15 years 3 months ago
2009
Data consistency is very desirable because strong semantic properties make it easier to write correct programs that perform as users expect. However, there are good reasons why co...
105
click to vote
CCS
2004
ACM
15 years 8 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
163
Voted
IPPS
2008
IEEE
15 years 9 months ago
2008
IEEE
A software system interacts with third-party libraries through various APIs. Insufficient documentation and constant refactorings of third-party libraries make API library reuse ...
108
Voted
HPDC
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, we introduce the Join-Elect-Leave (JEL) model, a simple yet powerful model for tracking the resources participating in an application. This model is based on the co...
158
Voted
ICCPOL
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper describes a methodology for constructing aligned German-Chinese corpora from movie subtitles. The corpora will be used to train a special machine translation s...