2607 search results - page 288 / 522 » Complete Functional Synthesis |
162
click to vote
ICRA
1998
IEEE
15 years 8 months ago
1998
IEEE
We have developed a multiagent robotic system including perception, cognition, and action components to function in a dynamicenvironment. The system involves the integration and c...
152
click to vote
PLILP
1994
Springer
15 years 8 months ago
1994
Springer
Abstract. We investigate an extension of a lazy functional logic language, which uses term disequations both in programs and in computed answers. The semantic properties of the lan...
152
click to vote
ACNS
2004
Springer
15 years 8 months ago
2004
Springer
In the literature, voting protocols are considered secure if they satisfy requirements such as privacy, accuracy, robustness, etc. It can be time consuming to evaluate a voting pr...
130
click to vote
ASPDAC
2001
ACM
15 years 8 months ago
2001
ACM
Wirelength estimation techniques typically contain a site density function that enumerates all possible path sites for each wirelength in an architecture and an occupation probabil...
122
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
We compare the performance of systems consisting of one large cluster containing q processors with systems where processors are grouped into k clusters containing u processors eac...