5159 search results - page 411 / 1032 » Structural Testing of Executables |
217
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
236
click to vote
ICDAR
2005
IEEE
16 years 1 months ago
2005
IEEE
The table recognition literature contains many strategies specified informally as a sequence of operations, obscuring both models of table structure and the effects of individual...
226
click to vote
INFOCOM
2000
IEEE
15 years 12 months ago
2000
IEEE
-In this paper, we present a fast and scalable pipelined priority queue architecture for use in high-performance switches with support for fine-grained quality of service (QoS) gu...
203
click to vote
BIRTHDAY
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
218
click to vote
AICCSA
2001
IEEE
15 years 11 months ago
2001
IEEE
In the visual programming domain, the stress of research is laid on the use of visual formalism, which is considered to be more intuitive than the textual formalism, in the progra...