3456 search results - page 113 / 692 » Algorithms for Interface Synthesis |
65
Voted
IFIP
1992
Springer
15 years 4 months ago
1992
Springer
In microarchitecure synthesis, early algorithms considered only a single implementation technique for IF -statements. Focus was on scheduling and on maximum hardware sharing. In t...
95
Voted
CSR
2006
Springer
15 years 4 months ago
2006
Springer
Zielonka's theorem shows that each regular set of Mazurkiewicz traces can be implemented as a system of synchronized processes provided with some distributed control structure...
93
Voted
FOSSACS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We present a novel coalgebraic logic for deterministic Mealy machines that is sound, complete and expressive w.r.t. bisimulation. Every finite Mealy machine corresponds t...
114
Voted
JVCA
2008
15 years 18 days ago
2008
We present a fast goal-directed motion synthesis technique that integrates sample-based planning methods with constraint-based dynamics simulation using a finite element formulati...
106
Voted
NPL
2000
15 years 12 days ago
2000
A Hybrid modeling approach, combining an analytical model with a radial basis function neural network is introduced in this paper. The modeling procedure is combined with genetic a...