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: Santos:Luiz_C=_V=_dos
Contributed to:
2013
201320122009
200719991999Wrote 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–?.