3441 search results - page 456 / 689 » Parallel Logic Programming Systems |
121
Voted
BIRTHDAY
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We describe our progress building the program ReductionFinder, which uses off-the-shelf SAT solvers together with the Cmodels system to automatically search for reduction...
154
click to vote
CNL
2009
15 years 6 months ago
2009
Abstract. This paper discusses the semi-formal language of mathematics and presents the Naproche CNL, a controlled natural language for mathematical authoring. Proof Representation...
144
click to vote
ECOOP
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Source code querying tools allow programmers to explore relations between different parts of the code base. This paper describes such a tool, named CodeQuest. It combines...
159
click to vote
EDOC
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— Component-based applications require good middleware support. In particular, business logic should be separated from management code for guaranteeing nonfunctional prop...
137
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
It is often impossible to obtain a one-size-fits-all solution for high performance algorithms when considering different choices for data distributions, parallelism, transformati...