506 search results - page 51 / 102 » Where Is the Value in a Program Verifier |
TNN
2008
15 years 13 days ago
2008
In this paper, stability and bifurcation of a general recurrent neural network with multiple time delays is considered, where all the variables of the network can be regarded as bi...
ICCD
2002
IEEE
15 years 9 months ago
2002
IEEE
During the course of a program’s execution, a processor performs many trivial computations; that is, computations that can be simplified or where the result is zero, one, or equ...
187
Voted
POPL
2007
ACM
16 years 25 days ago
2007
ACM
It is well recognized that JavaScript can be exploited to launch browser-based security attacks. We propose to battle such attacks using program instrumentation. Untrusted JavaScr...
105
click to vote
APLAS
2006
ACM
15 years 6 months ago
2006
ACM
String expression analysis conservatively approximates the possible string values generated by a program. We consider the validation of a context-free grammar obtained by the analy...
100
click to vote
SAC
2010
ACM
15 years 7 months ago
2010
ACM
The applicability of aspects as a means of implementing runtime contract checking has been demonstrated in prior work, where contracts are identified as cross-cutting concerns [1...