Nicolás Wolovick

According to our database, Nicolás Wolovick authored at least 14 papers between 2006 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

Performance Characterization of State-Of-The-Art Deep Learning Workloads on an IBM "Minsky" Platform.

Mauricio Guignard, Marcelo Schild, Carlos S. Bederián, Nicolás Wolovick, Augusto J. Vega

Proceedings of the 51st Hawaii International Conference on System Sciences, 2018

Power Efficiency Analysis of a Deep Learning Workload on an IBM "Minsky" Platform.

Mauricio D. Mazuecos Pérez, Nahuel G. Seiler, Carlos Sergio Bederián, Nicolás Wolovick, Augusto J. Vega

Proceedings of the High Performance Computing - 5th Latin American Conference, 2018

2017

Performance analysis and comparison of cellular automata GPU implementations.

Emmanuel N. Millán, Nicolás Wolovick, María Fabiana Piccoli, Carlos García Garino, Eduardo M. Bringa

Clust. Comput., 2017

The Road from Stochastic Automata to the Simulation of Rare Events.

Pedro R. D'Argenio, Carlos E. Budde, Matias David Lee, Raúl E. Monti, Leonardo Rodríguez, Nicolás Wolovick

Proceedings of the ModelEd, TestEd, TrustEd, 2017

2016

A Project-Based HPC Course for Single-Box Computers.

Carlos S. Bederián, Nicolás Wolovick

Proceedings of the 2016 Workshop on Education for High-Performance Computing, 2016

2012

Bisimulations for non-deterministic labelled Markov processes.

Pedro R. D'Argenio, Pedro Sánchez Terraf, Nicolás Wolovick

Math. Struct. Comput. Sci., 2012

q-state Potts model metastability study using optimized GPU-based Monte Carlo algorithms.

Ezequiel E. Ferrero, Juan Pablo De Francesco, Nicolás Wolovick, Sergio A. Cannas

Comput. Phys. Commun., 2012

A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems.

Carlos E. Budde, Pedro R. D'Argenio, Pedro Sánchez Terraf, Nicolás Wolovick

Proceedings of the Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, 2012

2011

Measurability and safety verification for stochastic hybrid systems.

Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick, Lijun Zhang

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

2010

Bisimulations for Nondeterministic Labeled Markov Processes

Pedro R. D'Argenio, Pedro Sánchez Terraf, Nicolás Wolovick

CoRR, 2010

Automatic Probabilistic Program Verification through Random Variable Abstraction

Damián Barsotti, Nicolás Wolovick

Proceedings of the Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, 2010

2009

Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization.

Pedro R. D'Argenio, Nicolás Wolovick, Pedro Sánchez Terraf, Pablo Celayes

Proceedings of the QEST 2009, 2009

Optimizing Probabilities of Real-Time Test Case Execution.

Nicolás Wolovick, Pedro R. D'Argenio, Hongyang Qu

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

2006

A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes.

Nicolás Wolovick, Sven Johr

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006