1127 search results - page 43 / 226 » The XIS Generative Programming Techniques |
ACSC
2005
IEEE
14 years 3 months ago
2005
IEEE
Support for program understanding in development and maintenance tasks can be facilitated by program analysis techniques. Both control-flow and data-flow analysis can support pr...
CCS
2006
ACM
14 years 1 months ago
2006
ACM
Attack graphs are important tools for analyzing security vulnerabilities in enterprise networks. Previous work on attack graphs has not provided an account of the scalability of t...
ICSOC
2010
Springer
13 years 8 months ago
2010
Springer
In this demo paper we present the prototype of our fault injection testbed generator. Our tool empowers engineers to generate emulated SOA environments and to program fault injecti...
ESOP
2000
Springer
14 years 1 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
MICRO
1996
IEEE
14 years 2 months ago
1996
IEEE
Much of the previous work on modulo scheduling has targeted numeric programs, in which, often, the majority of the loops are well-behaved loop-counter-based loops without early ex...