Sciweavers

32032 search results - page 96 / 6407
» Verified programming in Guru
Sort
View
ATVA
2006
Springer
162views Hardware» more  ATVA 2006»
15 years 8 months ago
Predicate Abstraction of Programs with Non-linear Computation
e Abstraction of Programs With Non-linear Computation Songtao Xia1 Ben Di Vito2 Cesar Munoz3 1 NASA Postdoc at NASA Langley Research Center, Hampton, VA 2 NASA Langley Research Cen...
Songtao Xia, Ben Di Vito, César Muño...
TSMC
2008
100views more  TSMC 2008»
15 years 4 months ago
Instruction-Matrix-Based Genetic Programming
In genetic programming (GP), evolving tree nodes separately would reduce the huge solution space. However, tree nodes are highly interdependent with respect to their fitness. In th...
Gang Li, Jin Feng Wang, Kin-Hong Lee, Kwong-Sak Le...
104
Voted
PODS
2002
ACM
95views Database» more  PODS 2002»
16 years 4 months ago
On Verifying Consistency of XML Specifications
Marcelo Arenas, Wenfei Fan, Leonid Libkin