1895 search results - page 167 / 379 » Modular Functional Descriptions |
SIGPLAN
2002
13 years 7 months ago
2002
This paper describes a course in hardware description and synthesis (hardware compilation), taught as an introductory graduate course at Chalmers University of Technology, and as a...
ICIP
2004
IEEE
14 years 9 months ago
2004
IEEE
We present a stochastic tracking algorithm for surveillance video where targets are dim and at low resolution. The algorithm builds motion models for both background and foregroun...
DATE
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper describes the results of a new synthesis tool (XBM2PLA) for asynchronous state machines [2]. XBM2PLA generates the boolean functions for an asynchronous circuit. XBM2PL...
FBT
1997
13 years 9 months ago
1997
Abstract: In most cases, it is simple inconvenience of use that keeps formal methods from being put to industrial use. This paper argues that functionalities, even though of simple...
IFIPPACT
1994
13 years 9 months ago
1994
: Advanced architectural features of microprocessors like instruction level parallelism and pipelined functional hardware units require code generation techniques beyond the scope ...