Publications
Filters: Author is Nicolás Wolovick [Clear All Filters]
, “Performance Characterization of State-Of-The-Art Deep Learning Workloads on an IBM "Minsky" Platform”, in 51st Hawaii International Conference on System Sciences, HICSS 2018, Hilton Waikoloa Village, Hawaii, USA, January 3-6, 2018, ScholarSpace / AIS Electronic Library (AISeL), 2018, pp. 1–8.
paper-805.pdf (544.75 KB)
paper-805.pdf (544.75 KB), “Power Efficiency Analysis of a Deep Learning Workload on an IBM "Minsky" Platform”, in High Performance Computing - 5th Latin American Conference, CARLA 2018, Bucaramanga, Colombia, September 26-28, 2018, Revised Selected Papers, vol. 979, Springer, 2018, pp. 255–262. paper-806.pdf (899.08 KB)
paper-806.pdf (899.08 KB), “Performance analysis and comparison of cellular automata GPU implementations”, Clust. Comput., vol. 20, pp. 2763–2777, 2017. paper-804.pdf (2.06 MB)
paper-804.pdf (2.06 MB), “The Road from Stochastic Automata to the Simulation of Rare Events”, in ModelEd, TestEd, TrustEd. Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, vol. 10500, Springer, 2017, pp. 276-294. paper-752.pdf (1.51 MB)
paper-752.pdf (1.51 MB), “Consideraciones Sobre el Voto Electrónico”, in 10º Simposio de Informática en el Estado, SIE 2016, 45 JAIIO, 2016, pp. 297-307. paper-666.PDF (135.19 KB)
paper-666.PDF (135.19 KB), “A Project-Based HPC Course for Single-Box Computers”, in 2016 Workshop on Education for High-Performance Computing, EduHPC@SC 2016, Salt Lake City, UT, USA, November 14, 2016, IEEE Computer Society, 2016, pp. 1–6. paper-803.pdf (156.72 KB)
paper-803.pdf (156.72 KB), “A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems”, in Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, vol. 8453, Springer Berlin Heidelberg, 2014, pp. 67-86. paper-513.pdf (976.31 KB)
paper-513.pdf (976.31 KB), “Bisimulations for non-deterministic labelled Markov processes”, Mathematical Structures in Computer Science, vol. 22, no. 1, pp. 43 - 68, 2012. paper-39.pdf (250.46 KB)
paper-39.pdf (250.46 KB), “Continuous probability and nondeterminism in labeled transaction systems”, Universidad Nacional de Córdoba, Córdoba, 2012. paper-175.pdf (1015.21 KB)
paper-175.pdf (1015.21 KB), “q-state Potts model metastability study using optimized GPU-based Monte Carlo algorithms”, Computer Physics Communications, vol. 183, pp. 1578-1587, 2012. paper-128.pdf (692.27 KB)
paper-128.pdf (692.27 KB), “Measurability and safety verification for stochastic hybrid systems”, in Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, 2011, pp. 43-52.
, “Automatic Probabilistic Program Verification through Random Variable Abstraction”, in Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, QAPL 2010, 2010, vol. EPTCS 28, pp. 34-47. paper-24.pdf (404.61 KB)
paper-24.pdf (404.61 KB), “Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization”, in QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, 2009, pp. 11-20. paper-16.pdf (525.46 KB)
paper-16.pdf (525.46 KB), “Optimizing Probabilities of Real-Time Test Case Execution”, in ICST 2009, Second International Conference on Software Testing Verification and Validation, 2009, pp. 446-455.
, “A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes”, in Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, 2006, vol. LNCS 4202, pp. 352-367.