3889 search results - page 712 / 778 » The Use of Program Dependence Graphs in Software Engineering |
136
Voted
SPIN
2010
Springer
15 years 1 months ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
148
Voted
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
String searching is at the core of many security and network applications like search engines, intrusion detection systems, virus scanners and spam filters. The growing size of o...
111
click to vote
VL
2006
IEEE
15 years 9 months ago
2006
IEEE
Because software libraries are numerous and large, learning how to use them is a common and problematic task for experienced programmers and novices alike. Internet search engines...
103
Voted
DAC
2003
ACM
16 years 4 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
143
Voted
WWW
2006
ACM
2006
ACM
XML screamer: an integrated approach to high performance XML parsing, validation and deserialization
16 years 4 months ago
This paper describes an experimental system in which customized high performance XML parsers are prepared using parser generation and compilation techniques. Parsing is integrated...