BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
3 × USA
Collaborated with:
N.P.Lopes P.F.Flores C.Lazzari L.Carro L.Aksoy E.A.C.d.Costa S.Devadas P.Ashar A.Mauskar
Talks about:
synthesi (2) optim (2) base (2) quaternari (1) constraint (1) precondit (1) techniqu (1) weakest (1) schedul (1) program (1)

Person: José Monteiro

DBLP DBLP: Monteiro:Jos=eacute=

Contributed to:

VMCAI 20142014
DATE 20102010
DAC 20062006
DAC 19961996

Wrote 4 papers:

VMCAI-2014-LopesM #compilation #optimisation #synthesis
Weakest Precondition Synthesis for Compiler Optimizations (NPL, JM), pp. 203–221.
DATE-2010-LazzariFMC #multi
A new quaternary FPGA based on a voltage-mode multi-valued circuit (CL, PFF, JM, LC), pp. 1797–1802.
DAC-2006-AksoyCFM #constraints #integer #linear #optimisation #programming #satisfiability #synthesis #using
Optimization of area under a delay constraint in digital filter synthesis using SAT-based integer linear programming (LA, EACdC, PFF, JM), pp. 669–674.
DAC-1996-MonteiroDAM #power management #scheduling
Scheduling Techniques to Enable Power Management (JM, SD, PA, AM), pp. 349–352.

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.