336 search results - page 26 / 68 » Program Speedups in Theory and Practice |
132
click to vote
ICLP
2004
Springer
15 years 5 months ago
2004
Springer
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...
110
click to vote
PPOPP
2010
ACM
15 years 9 months ago
2010
ACM
Exploiting the emerging reality of affordable multi-core architeces through providing programmers with simple abstractions that would enable them to easily turn their sequential p...
124
Voted
CRIWG
2007
15 years 1 months ago
2007
Two of the most important research subjects during the development of intelligent authoring systems (IAS) for education are the modeling of knowledge and the extraction of knowledg...
SIGCSE
2004
ACM
15 years 5 months ago
2004
ACM
The nearly three dozen core technologies of computing sit in a simple framework defined by great principles and by computing practices. The great principles are of two kinds, mech...
ICALP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In this paper, we identify some issues in the interplay between practice and theory in cryptography, issues that have repeatedly appeared in different incarnations over ...