BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
7 × USA
Collaborated with:
I.Huang M.Pedram C.Tsui P.V.Roy H.J.Touati J.D.Pincus J.Chang S.Liu G.Cheng W.R.Bush P.C.McGeer I.Pyo C.Su K.Pan Y.Koh H.Chen S.Wu
Talks about:
prolog (3) microprocessor (2) synthesi (2) instruct (2) pipelin (2) analysi (2) design (2) compil (2) fsms (2) set (2)

Person: Alvin M. Despain

DBLP DBLP: Despain:Alvin_M=

Contributed to:

DAC 19951995
DAC 19941994
DAC 19931993
DAC 19921992
NACLP 19901990
SLP 19871987
DAC 19861986
SLP 19851985

Wrote 11 papers:

DAC-1995-LiuPD #performance #scalability
A Fast State Assignment Procedure for Large FSMs (SL, MP, AMD), pp. 327–332.
DAC-1994-HuangD #pipes and filters #set #synthesis
Synthesis of Instruction Sets for Pipelined Microprocessors (IJH, AMD), pp. 5–11.
DAC-1994-TsuiPD #approximate
Exact and Approximate Methods for Calculating Signal and Transition Probabilities in FSMs (CYT, MP, AMD), pp. 18–23.
DAC-1993-TsuiPD #composition #power management
Technology Decomposition and Mapping Targeting Low Power Dissipation (CYT, MP, AMD), pp. 68–73.
DAC-1992-HuangD #compilation #pipes and filters #set #synthesis
High Level Synthesis of Pipelined Instruction Set Processors and Back-End Compilers (IJH, AMD), pp. 135–140.
DAC-1992-PyoSHPKTCCLWD #automation #design
Application-Driven Design Automation for Microprocessor Design (IP, CLS, IJH, KRP, YSK, CYT, HTC, GC, SL, SW, AMD), pp. 512–517.
NACLP-1990-RoyD #analysis #compilation #data flow #optimisation #prolog
The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler (PVR, AMD), pp. 501–515.
SLP-1987-BushCMD87 #experience #hardware #prolog #specification
Experience with Prolog as a Hardware Specification Language (WRB, GC, PCM, AMD), pp. 490–498.
SLP-1987-TouatiD87 #automaton #empirical
An Empirical Study of the Warren Abstract Machine (HJT, AMD), pp. 114–124.
DAC-1986-PincusD #reduction #using
Delay reduction using simulated annealing (JDP, AMD), pp. 690–695.
SLP-1985-ChangD85 #analysis #backtracking #dependence #prolog
Semi-Intelligent Backtracking of Prolog Based on Static Data Dependency Analysis (JHC, AMD), pp. 10–21.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.