9186 search results - page 227 / 1838 » A Module System for Scheme |
317
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
156
click to vote
HOTI
2008
IEEE
16 years 1 months ago
2008
IEEE
Buses have historically provided a flexible communications structure in computer systems. However, signal integrity constraints of high-speed electronics have made multi-drop elec...
201
click to vote
DAC
1998
ACM
15 years 10 months ago
1998
ACM
We present a technique for synthesizing power- as well as area-optimized circuits from hierarchical data flow graphs under throughput constraints. We allow for the use of complex...
149
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In the average consensus a set of linear systems has to be driven to the same final state which corresponds to the average of their initial states. This contribution presents ...
184
click to vote
IROS
2007
IEEE
16 years 27 days ago
2007
IEEE
— This paper presents an experimental comparison of conventional (calibrated and uncalibrated) image based visual servoing methods in various microsystem applications. Both visua...