Travelled to:1 × Austria
1 × Belgium
1 × France
1 × Germany
1 × Portugal
1 × United Kingdom
2 × Spain
4 × USA
Collaborated with:F.Vasques B.Moore S.Michell H.I.Ali D.Pereira S.T.Taft B.Andersson F.Valpereiro Sara Royuela X.Martorell E.Quiñones G.Nelissen B.Akesson L.Nogueira R.Barbosa J.C.Fonseca V.Nélis G.Raravi A.d.M.Pedro J.S.Pinto
Talks about:ada (11) parallel (7) time (6) real (5) program (4) model (4) applic (3) safe (3) base (3) architectur (2)
Person: Luís Miguel Pinho
DBLP: Pinho:Lu=iacute=s_Miguel
Facilitated 3 volumes:
EdEdEdContributed to:
2015
2015
20152014
201420132013
201120102006200520022001199820172018Wrote 18 papers:
- AdaEurope-2015-NelissenPP #architecture #monitoring #novel #performance #runtime
- A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring (GN, DP, LMP), pp. 66–82.
- AdaEurope-2015-PinhoMMT #ada #execution #fine-grained #parallel
- An Execution Model for Fine-Grained Parallelism in Ada (LMP, BM, SM, STT), pp. 196–211.
- PDP-2015-AliAP #data flow #graph #parametricity #realtime
- Generalized Extraction of Real-Time Parameters for Homogeneous Synchronous Dataflow Graphs (HIA, BA, LMP), pp. 701–710.
- SAC-2015-FonsecaNRP #execution #parallel #realtime
- A multi-DAG model for real-time parallel applications with conditional execution (JCF, VN, GR, LMP), pp. 1925–1932.
- AdaEurope-2014-PedroPPP #ada #framework #programming language #runtime #towards #verification
- Towards a Runtime Verification Framework for the Ada Programming Language (AdMP, DP, LMP, JSP), pp. 58–73.
- AdaEurope-2014-PinhoMM #ada #parallel
- Parallelism in Ada: Status and Prospects (LMP, BM, SM), pp. 91–106.
- HILT-2014-TaftMPM #ada #parallel #programming
- Safe parallel programming in ada with language extensions (STT, BM, LMP, SM), pp. 87–96.
- AdaEurope-2013-MichellMP #ada #fine-grained #named #parallel
- Tasklettes — A Fine Grained Parallelism for Ada on Multicores (SM, BM, LMP), pp. 17–34.
- HILT-2013-MichellMP #manycore #programming #realtime
- Real-time programming on accelerator many-core processors (SM, BM, LMP), pp. 23–36.
- SIGAda-2011-AliP #ada #parallel #programming
- A parallel programming model for ada (HIA, LMP), pp. 19–26.
- AdaEurope-2010-AnderssonP #ada #algorithm #implementation #manycore #realtime #scheduling #using
- Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012 (BA, LMP), pp. 54–67.
- AdaEurope-2006-ValpereiroP #behaviour
- POSIX Trace Based Behavioural Reflection (FV, LMP), pp. 27–39.
- AdaEurope-2005-PinhoNB #ada #framework
- An Ada Framework for QoS-Aware Applications (LMP, LN, RB), pp. 25–38.
- AdaEurope-2002-PinhoV
- Transparent Environment for Replicated Ravenscar Applications (LMP, FV), pp. 297–308.
- AdaEurope-2001-PinhoV #communication #distributed #reliability
- Reliable Communication in Distributed Computer-Controlled Systems (LMP, FV), pp. 136–147.
- SIGAda-1998-PinhoV #ada #architecture #fault tolerance #multi #named #realtime
- Multi-μ: An Ada 95 Based Architecture for Fault Tolerance Support of Real-Time Systems (LMP, FV), pp. 52–60.
- AdaEurope-2017-RoyuelaMQP #ada #correctness #safety
- OpenMP Tasking Model for Ada: Safety and Correctness (SR, XM, EQ, LMP), pp. 184–200.
- AdaEurope-2018-RoyuelaMQP #ada #analysis #compilation #parallel
- Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP (SR, XM, EQ, LMP), pp. 141–157.