1401 search results - page 169 / 281 » Tool Integration for Reasoned Programming |
108
click to vote
ADAEUROPE
2007
Springer
15 years 7 months ago
2007
Springer
In this article, we experiment a way to extend an Ada library called Cheddar. Cheddar provides a domain specific language. Programs written with this domain specific language can...
162
click to vote
ASPLOS
2012
ACM
13 years 9 months ago
2012
ACM
Despite a burgeoning demand for parallel programs, the tools available to developers working on shared-memory multicore processors have lagged behind. One reason for this is the l...
125
click to vote
ICLP
2007
Springer
15 years 7 months ago
2007
Springer
This paper describes the dlvhex SPARQL plugin, a query processor for the upcoming Semantic Web query language standard by W3C. We report on the implementation of this languages usi...
143
click to vote
ICS
1999
Tsinghua U.
15 years 5 months ago
1999
Tsinghua U.
On modern computers, the performance of programs is often limited by memory latency rather than by processor cycle time. To reduce the impact of memory latency, the restructuring ...
102
click to vote
DIGRA
2005
Springer
15 years 7 months ago
2005
Springer
We were motivated to consider proposing/adopting a new curriculum by the decrease in student enrolments currently experienced by our computing science programs. This requirement f...