7430 search results - page 182 / 1486 » Programming Applications in CIFF |
145
click to vote
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
We present Chorus, a high-level parallel programming model suitable for irregular, heap-manipulating applications like mesh refinement and epidemic simulations, and JChorus, an i...
133
click to vote
CP
2008
Springer
15 years 5 months ago
2008
Springer
The Cell BE processor provides both scalable computation power and flexibility, and it is already being adopted for many computational intensive applications like aerospace, defens...
254
click to vote
ASPLOS
2009
ACM
16 years 3 months ago
2009
ACM
Extracting performance from many-core architectures requires software engineers to create multi-threaded applications, which significantly complicates the already daunting task of...
118
click to vote
CCS
2010
ACM
15 years 3 months ago
2010
ACM
Decentralized information flow control (DIFC) operating systems provide applications with mechanisms for enforcing information-flow policies for their data. However, significant o...
179
click to vote
SAC
2008
ACM
15 years 2 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...