442 search results - page 38 / 89 » Parallel programming over ChinaGrid |
112
click to vote
IEEEPACT
2006
IEEE
15 years 8 months ago
2006
IEEE
A recent trend in computing are domain-specific program generators, designed to alleviate the effort of porting and reoptimizing libraries for fast-changing and increasingly com...
186
click to vote
BANFF
1995
15 years 5 months ago
1995
The automata-theoretic approach to linear temporal logic uses the theory of automata as a unifying paradigm for program specification, verification, and synthesis. Both programs ...
115
click to vote
OTM
2007
Springer
15 years 8 months ago
2007
Springer
Software patterns have evolved into a commonly used means to design and implement software systems. Programming patterns, architecture and design patterns have been quite successfu...
97
Voted
CCGRID
2008
IEEE
15 years 8 months ago
2008
IEEE
—We formulate the service composition problem as a multi-objective stochastic program which simultaneously optimizes the following quality of service (QoS) parameters: workflow ...
121
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Logic Programming languages and combinational circuit synthesis tools share a common "combinatorial search over logic formulae" background. This paper attempts ...