1226 search results - page 166 / 246 » Proofs, Programs and Abstract Complexity |
147
click to vote
ITC
1996
IEEE
15 years 7 months ago
1996
IEEE
Abstract. In complex systems, embedded processors may be used to run software routines for test pattern generation and response evaluation. For system components which are not comp...
129
Voted
CG
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. By developing an intelligent computer system that will provide commentary of chess moves in a comprehensible, user-friendly and instructive way, we are trying to use the ...
109
click to vote
ICFEM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
155
click to vote
CADE
2004
Springer
16 years 3 months ago
2004
Springer
contexts such as construction of abstractions, speed may be favored over completeness, so that undecidable theories (e.g., nonlinear integer arithmetic) and those whose decision pr...
129
click to vote
IJCAI
1993
15 years 4 months ago
1993
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...