Nicolás Wolovick

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Performance Characterization of State-Of-The-Art Deep Learning Workloads on an IBM "Minsky" Platform.
Proceedings of the 51st Hawaii International Conference on System Sciences, 2018

Power Efficiency Analysis of a Deep Learning Workload on an IBM "Minsky" Platform.
Proceedings of the High Performance Computing - 5th Latin American Conference, 2018

2017
Performance analysis and comparison of cellular automata GPU implementations.
Cluster Computing, 2017

The Road from Stochastic Automata to the Simulation of Rare Events.
Proceedings of the ModelEd, TestEd, TrustEd, 2017

2016
A Project-Based HPC Course for Single-Box Computers.
Proceedings of the 2016 Workshop on Education for High-Performance Computing, 2016

2012
Bisimulations for non-deterministic labelled Markov processes.
Math. Struct. Comput. Sci., 2012

q-state Potts model metastability study using optimized GPU-based Monte Carlo algorithms.
Comput. Phys. Commun., 2012

A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems.
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.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

2010
Bisimulations for Nondeterministic Labeled Markov Processes
CoRR, 2010

Automatic Probabilistic Program Verification through Random Variable Abstraction
Proceedings of the Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, 2010

2009
Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization.
Proceedings of the QEST 2009, 2009

Optimizing Probabilities of Real-Time Test Case Execution.
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.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006


  Loading...