BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Estonia
1 × France
2 × Germany
3 × USA
Collaborated with:
J.A.G.Jess E.A.Rambo E.Wuerges R.S.d.Oliveira L.S.Freitas O.P.Henschel G.Marcilio B.Albertini S.Rigo L.Kawakami A.Knabben D.Rechia D.Bastos O.Pereira R.P.e.Silva
Talks about:
verif (3) techniqu (2) consist (2) motion (2) memori (2) effici (2) code (2) fli (2) multiprocess (1) scoreboard (1)

Person: Luiz C. V. dos Santos

DBLP DBLP: Santos:Luiz_C=_V=_dos

Contributed to:

DAC 20132013
DATE 20132013
DATE 20122012
DAC 20092009
TestCom/FATES 20072007
DAC 19991999
DATE 19991999

Wrote 7 papers:

DAC-2013-WuergesOS #energy #performance #realtime
Reconciling real-time guarantees and energy efficiency through unlocked-cache prefetching (EW, RSdO, LCVdS), p. 9.
DATE-2013-FreitasRS #concurrent #consistency #memory management #on the fly #verification
On-the-fly verification of memory consistency with concurrent relaxed scoreboards (LSF, EAR, LCVdS), pp. 631–636.
DATE-2012-RamboHS #consistency #memory management #multi #on the #verification
On ESL verification of memory consistency for system-on-chip multiprocessing (EAR, OPH, LCVdS), pp. 9–14.
DAC-2009-MarcilioSAR #behaviour #novel #verification
A novel verification technique to uncover out-of-order DUV behaviors (GM, LCVdS, BA, SR), pp. 448–453.
TestCom-FATES-2007-KawakamiKRBPSS #automation #framework #mobile #object-oriented #reuse #testing
An Object-Oriented Framework for Improving Software Reuse on Automated Testing of Mobile Phones (LK, AK, DR, DB, OP, RPeS, LCVdS), pp. 199–211.
DAC-1999-SantosJ #order #performance
A Reordering Technique for Efficient Code Motion (LCVdS, JAGJ), pp. 296–299.
DATE-1999-SantosJ #equivalence #on the fly
Exploiting State Equivalence on the Fly while Applying Code Motion and Speculation (LCVdS, JAGJ), p. 609–?.

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.