2859 search results - page 243 / 572 » A Programming Environment for Bousi-Prolog |
208
click to vote
ASIAN
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
192
click to vote
EVOW
2012
Springer
14 years 2 months ago
2012
Springer
We are using bandit-based adaptive operator selection while autotuning parallel computer programs. The autotuning, which uses evolutionary algorithm-based stochastic sampling, take...
167
click to vote
EUROSYS
2009
ACM
16 years 3 months ago
2009
ACM
Program source is an intermediate representation of software; it lies between a developer’s intention and the hardware’s execution. Despite advances in languages and developme...
167
click to vote
KBSE
2007
IEEE
16 years 26 days ago
2007
IEEE
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...
157
click to vote
EUROPAR
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. This paper presents DAOS, a model for exploitation of Andand Or-parallelism in logic programs. DAOS assumes a physically distributed memory environment and a logically sh...