705 search results - page 91 / 141 » New Compilation Languages Based on Structured Decomposabilit... |
CODES
2007
IEEE
15 years 4 months ago
2007
IEEE
There is a strong need now for compilers of embedded systems to find effective ways of optimizing series of loop-nests, wherein majority of the memory references occur in the fo...
FUIN
2010
14 years 7 months ago
2010
In previous work we have proposed an extension to ASP (Answer Set Programming), called RASP, standing for ASP with Resources. RASP supports declarative reasoning on production and...
WIDM
2003
ACM
15 years 3 months ago
2003
ACM
At the present time, several shortcomings prevent the more effective use and more intense application of web information systems. Recent developments that are subsumed by the term...
181
click to vote
POPL
2002
ACM
15 years 10 months ago
2002
ACM
Dataflow analyses can have mutually beneficial interactions. Previous efforts to exploit these interactions have either (1) iteratively performed each individual analysis until no...
ASPLOS
2009
ACM
15 years 4 months ago
2009
ACM
We describe a strategy for enabling existing commodity operating systems to recover from unexpected run-time errors in nearly any part of the kernel, including core kernel compone...