2607 search results - page 96 / 522 » Complete Functional Synthesis |
187
click to vote
FPL
2009
Springer
15 years 10 months ago
2009
Springer
Field Programmable Gate Arrays (FPGAs) have long held the promise of allowing designers to create systems with performance levels close to custom circuits but with a software-like...
154
click to vote
ICRA
2005
IEEE
15 years 11 months ago
2005
IEEE
—We present a navigation function through which a group of mobile agents can be coordinated to achieve a particular formation, both in terms of shape and orientation, while avoid...
203
click to vote
AES
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. While it is known previously that the cycle lengths of individual components of the AES round function are very small, we demonstrate here that the cycle length of the S-...
168
click to vote
CADE
2004
Springer
15 years 11 months ago
2004
Springer
The paper presents a modular superposition calculus for the combination of first-order theories involving both total and partial functions. Modularity means that inferences are pu...
148
click to vote
ACL
2001
15 years 7 months ago
2001
Chunk parsing has focused on the recognition of partial constituent structures at the level of individual chunks. Little attention has been paid to the question of how such partia...