10718 search results - page 728 / 2144 » On the Circuit Implementation Problem |
180
click to vote
IWPC
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes a collection of algorithms that we developed and implemented to facilitate the automatic recovery of the modular structure of a software system from its sourc...
209
click to vote
ASIAN
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We present a constraint system OF of feature trees that is appropriate to specify and implement type inference for first-class messages. OF extends traditional systems of...
185
click to vote
ATAL
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We address the problem of constructing multiagent systems by coordinating autonomous agents, whose internal designs may not be fully known. We develop a customizable coor...
159
click to vote
RTA
1993
Springer
15 years 11 months ago
1993
Springer
Abstract. We generalize the various path orderings and the conditions under which they work, and describe an implementation of this general ordering. We look at methods for proving...
223
click to vote
LPAR
1992
Springer
15 years 11 months ago
1992
Springer
We describe some of the techniques which have been used to implement METATEM, a programming language based on temporal logic, and address problems such as non-determinism and loopi...