3107 search results - page 331 / 622 » Error-Correcting Source Code |
138
click to vote
ECOOP
2006
Springer
15 years 7 months ago
2006
Springer
AspectJ-like languages are currently ineffective at modularizing heterogeneous concerns that are tightly coupled to the source code of the base program, such as logging, invariant...
157
click to vote
CODES
2009
IEEE
15 years 5 months ago
2009
IEEE
The H.264 video codec provides exceptional video compression while imposing dramatic increases in computational complexity over previous standards. While exploiting parallelism in...
139
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Prolog Server Pages (PSP) is a scripting language, based on Prolog, than can be embedded in HTML documents. To run PSP applications one needs a web server, a web browser and a PSP...
112
click to vote
IJPP
2006
15 years 4 months ago
2006
Chip multiprocessors hold great promise for achieving scalability in future systems. Microthreaded chip multiprocessors add a means of exploiting legacy code in such systems. Usin...
113
click to vote
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
We present the concepts, usage, and prototypic implementation of a new kind of visual debugging tool based on symbolic execution of Java source code called visual symbolic state d...