3107 search results - page 456 / 622 » Error-Correcting Source Code |
111
click to vote
CONCURRENCY
2006
15 years 3 months ago
2006
: This paper evaluates the ability of a variety of commercial and non-commercial software products to detect serial run-time errors in C and C++ programs, to issue meaningful messa...
163
click to vote
ENTCS
2006
15 years 3 months ago
2006
We present a runtime verification framework for Java programs. Properties can be specified in Linear-time Temporal Logic (LTL) over AspectJ pointcuts. These properties are checked...
117
click to vote
ENTCS
2006
15 years 3 months ago
2006
Scannerless generalized parsing techniques allow parsers to be derived directly from unified, declarative specifications. Unfortunately, in order to uniquely parse existing progra...
106
click to vote
IJES
2008
15 years 3 months ago
2008
: Current and future SoC designs will contain an increasing number of programmable units. To be able to tailor and debug these processors in their system context at the highest pos...
103
click to vote
IJNSEC
2006
15 years 3 months ago
2006
Enhanced network services often involve preferential allocation of resources such as transmission capacity ("bandwidth") and buffer space to packets belonging to certain...