1054 search results - page 41 / 211 » Translation Validation of System Abstractions |
166
click to vote
IJFCS
2008
15 years 6 months ago
2008
Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...
219
click to vote
ICDCS
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--The networked application environment has motivated the development of multitasking operating systems for sensor networks and other low-power electronic devices, but thei...
156
click to vote
QEST
2009
IEEE
16 years 21 days ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
162
click to vote
SAC
2005
ACM
15 years 11 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
143
click to vote
FLAIRS
2006
15 years 7 months ago
2006
The invited talk will introduce Computer-Aided Language Processing (CALP) as an emerging area of practical interest and significance and will present experiments of several CALP a...