4401 search results - page 475 / 881 » Computing with Default Logic |
204
click to vote
LPNMR
2007
Springer
16 years 1 months 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...
193
click to vote
SEKE
2007
Springer
16 years 1 months ago
2007
Springer
High performance computing (HPC) is gaining popularity in solving scientific applications. Using the current programming standards, however, it takes an HPC expert to efficiently ...
217
click to vote
PLDI
2006
ACM
16 years 26 days ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
191
click to vote
WWW
2006
ACM
16 years 25 days ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
182
click to vote
IEEEPACT
2005
IEEE
16 years 15 days ago
2005
IEEE
This paper presents a novel compiler directed technique to reduce the register pressure and power of the register file by releasing registers early. The compiler identifies regi...