2947 search results - page 192 / 590 » Analyzing Program Analyses |
175
click to vote
IJACTAICIT
2010
15 years 3 months ago
2010
Program slicing is a promising technique for providing automated support for various important software engineering activities. There exists hundreds of scientific studies on the ...
169
click to vote
EOR
2010
15 years 1 months ago
2010
We analyze the problem of pricing and hedging contingent claims in the multi-period, discrete time, discrete state case using the concept of a sufficiently attractive expected gai...
167
click to vote
ISCA
2008
IEEE
16 years 24 days ago
2008
IEEE
Instruction-grain program monitoring tools, which check and analyze executing programs at the granularity of individual instructions, are invaluable for quickly detecting bugs and...
172
click to vote
RTAS
2007
IEEE
16 years 20 days ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
139
click to vote
ICRA
2005
IEEE
15 years 12 months ago
2005
IEEE
— The demand for flexible and re-programmable robots has increased the need for programming by demonstration systems. In this paper, grasp recognition is considered in a program...