3824 search results - page 395 / 765 » Geometry Constructions Language |
156
click to vote
FOCS
2005
IEEE
15 years 11 months ago
2005
IEEE
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...
164
click to vote
FC
2005
Springer
15 years 11 months ago
2005
Springer
Two parties, say Alice and Bob, possess two sets of elements that belong to a universe of possible values and wish to test whether these sets are disjoint or not. In this paper we ...
180
Voted
LCPC
1999
Springer
15 years 10 months ago
1999
Springer
Since the C language imposes little restriction on the use of function pointers, the task of call graph construction for a C program is far more di cult than what the algorithms d...
175
click to vote
EUROPAR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Understanding program behavior is at the foundation of program optimization. Techniques for automatic recognition of program constructs characterize the behavior of code ...
163
click to vote
LREC
2010
15 years 7 months ago
2010
A research has been carried on and is still in progress aimed at the construction of three specialized lexicons organized as databases of relational type. The three databases cont...