2231 search results - page 109 / 447 » Alternation as a programming paradigm |
168
click to vote
EUROPAR
2009
Springer
16 years 17 days ago
2009
Springer
Abstract. This paper presents the XJava compiler for parallel programs. It exploits parallelism based on an object-oriented stream programming paradigm. XJava extends Java with new...
157
click to vote
ACSC
2005
IEEE
15 years 11 months ago
2005
IEEE
There is now widespread acceptance of Web services and service-oriented architectures. But despite the agreement on key Web services standards there remain many challenges. Progra...
201
click to vote
COMPSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
The current research so far in aspect-oriented software development is focused on problem analysis, software design, and implementation techniques. Even though the importance of s...
174
click to vote
REX
1990
15 years 10 months ago
1990
Data Types William R. Cook Hewlett-Packard Laboratories 1501 Page Mill Road, Palo Alto, CA, 94303-0969, USA Abstract: This tutorial collects and elaborates arguments for distinguis...
156
click to vote
ITP
2010
15 years 10 months ago
2010
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...