Travelled to:1 × Canada
1 × France
Collaborated with:E.A.Rambo L.C.V.d.Santos W.L.Mikos J.C.E.Ferreira P.E.A.Botura
Talks about:scoreboard (1) manufactur (1) distribut (1) knowledg (1) descript (1) ontolog (1) develop (1) consist (1) concurr (1) system (1)
Person: Leandro S. Freitas
DBLP: Freitas:Leandro_S=
Contributed to:
2013
2010Wrote 2 papers:
- 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.
- CASE-2010-MikosFBF #design #development #distributed #ontology #reuse #using
- Development of a system for distributed sharing and reuse of design and manufacturing knowledge in the PFMEA domain using a description logics-based ontology (WLM, JCEF, PEAB, LSF), pp. 598–603.