7430 search results - page 363 / 1486 » Programming Applications in CIFF |
183
click to vote
LPNMR
2007
Springer
16 years 9 days ago
2007
Springer
Recent research in answer-set programming (ASP) is concerned with the problem of finding faithful transformations of logic programs under the stable semantics. This is in particul...
152
click to vote
CASES
2006
ACM
16 years 4 days ago
2006
ACM
This paper considers the efficient parallel implementation of control constructs and expressions written in a common software programming language and synthesised to FPGA platform...
161
click to vote
SC
2003
ACM
15 years 11 months ago
2003
ACM
Demand for programming environments to exploit clusters of symmetric multiprocessors (SMPs) is increasing. In this paper, we present a new programming environment, called ParADE, ...
202
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
The JavaScript programming language is widely used for web programming and, increasingly, for general purpose computing. As such, improving the correctness, security and performan...
170
click to vote
AGP
1998
IEEE
15 years 10 months ago
1998
IEEE
Visualization of program executions has been found useful in applications which include education and debugging. However, traditional visualization techniques often fall short of ...