Sciweavers

32032 search results - page 96 / 6407
» Verified programming in Guru
Sort
View
ATVA
2006
Springer
162views Hardware» more  ATVA 2006»
15 years 4 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...
105
Voted
TSMC
2008
100views more  TSMC 2008»
15 years 21 days 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...
PODS
2002
ACM
95views Database» more  PODS 2002»
16 years 28 days ago
On Verifying Consistency of XML Specifications
Marcelo Arenas, Wenfei Fan, Leonid Libkin