2607 search results - page 96 / 522 » Complete Functional Synthesis |
150
Voted
FPL
2009
Springer
15 years 7 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...
121
Voted
ICRA
2005
IEEE
15 years 9 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...
168
Voted
AES
2004
Springer
15 years 9 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-...
133
Voted
CADE
2004
Springer
15 years 9 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...
114
Voted
ACL
2001
15 years 4 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...