Travelled to:1 × Italy
1 × Japan
1 × Switzerland
2 × Germany
Collaborated with:H.Nakamura N.Tabuchi K.H.Rose L.Villard S.Saito K.Mitsui A.Fürst T.S.Hoang D.A.Basin K.Desai K.Miyazaki
Talks about:languag (2) servic (2) model (2) stochast (1) parallel (1) composit (1) schedul (1) program (1) process (1) portabl (1)
Person: Naoto Sato
DBLP: Sato:Naoto
Contributed to:
2014
2012
2006
2005
2002Wrote 5 papers:
- IFM-2014-FurstHBDSM #code generation
- Code Generation for Event-B (AF, TSH, DAB, KD, NS, KM), pp. 323–338.
- FLOPS-2012-RoseVS #data flow #hybrid #programming language #query
- A Data Flow Language for Hybrid Query and Programming Languages (KHR, LV, NS), pp. 228–242.
- DATE-2006-NakamuraST #integration #performance #simulation
- An efficient and portable scheduler for RTOS simulation and its certified integration to SystemC (HN, NS, NT), pp. 1157–1158.
- ECMDA-FA-2005-TabuchiSN #algebra #analysis #design #modelling #performance #probability #process #uml
- Model-Driven Performance Analysis of UML Design Models Based on Stochastic Process Algebra (NT, NS, HN), pp. 41–58.
- EDOC-2002-SatoSM #optimisation #parallel #web #web service
- Optimizing Composite Web Services through Parallelization of Service Invocations (NS, SS, KM), p. 305–?.