8132 search results - page 90 / 1627 » Dependability, Abstraction, and Programming |
102
click to vote
FAC
2008
14 years 10 months ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
FMSD
2010
14 years 7 months ago
2010
aware counter abstraction G
FROCOS
2009
Springer
15 years 4 months ago
2009
Springer
d abstract) Takahito Aoto† Toshiyuki Yamada‡
SIAMCO
2010
14 years 4 months ago
2010
der abstract second order evolution equations with unbounded feedback with time-varying delay. Existence results are obtained under some realistic assumptions. We prove the expone...
UM
2007
Springer
15 years 4 months ago
2007
Springer