6693 search results - page 259 / 1339 » Methods of Automatic Algorithm Generation |
308
click to vote
NFM
2011
15 years 1 months ago
2011
Synthesis of finite-state machines from linear-time temporal logic (LTL) formulas is an important formal specification debugging technique for reactive systems and can quickly ge...
141
click to vote
FCCM
2007
IEEE
16 years 23 days ago
2007
IEEE
We present a domain-specific approach to generate highperformance hardware-software partitioned implementations of the discrete Fourier transform (DFT) in fixed point precision....
160
click to vote
MM
2003
ACM
15 years 11 months ago
2003
ACM
To simplify the process of editing interactive video, we developed the concept of “detail-on-demand” video as a subset of general hypervideo. Detail-on-demand video keeps the ...
157
click to vote
CF
2007
ACM
15 years 10 months ago
2007
ACM
We present a computer-aided design flow for quantum circuits, complete with automatic layout and control logic extraction. To motivate automated layout for quantum circuits, we in...
207
click to vote
DMDW
2003
15 years 7 months ago
2003
Geographic Information Systems (GIS) showed their insufficiencies in front of complex requests for decision-makers. Resulting of the association of the databases and the decision-m...