Safety of Live Transactions in Transactional Memory: TMS is Necessary and Sufficient Hagit Attiya1 , Alexey Gotsman2 , Sandeep Hans1 , and Noam Rinetzky3 1 Technion - Israel Institute of Technology, Israel

Source URL: software.imdea.org

• Transaction processing
• Data management
• Schedule
• Nested transaction

JFP): 218–283, c Cambridge University Press 2014 ⃝ 218

Source URL: ilyasergey.net

• Models of computation
• Formal languages
• Pushdown automaton
• Finite automata
• Nondeterministic finite automaton
• Computability
• Abstract interpretation
• Context-free language
• Symbol
• Nested stack automaton
• Tree stack automaton

Persistent Homology and Nested Dissection Michael Kerber∗ 1 Abstract

Source URL: www-cs.engr.ccny.cuny.edu

Recent advancements of a Cariaco Basin ROMS model nested in global HYCOM Aida Alvera-Azcárate, Alexander Barth and Robert H. Weisberg Ocean Circulation Group, University of South Florida CArbon Retention In A Colored O

Source URL: hycom.rsmas.miami.edu

OpenNWA: A Nested-Word Automaton Library⋆ Evan Driscoll1 , Aditya Thakur1 , and Thomas Reps1,2 1 Computer Sciences Department, University of Wisconsin – Madison {driscoll,adi,reps}@cs.wisc.edu

Source URL: research.cs.wisc.edu

• Formal languages
• Finite automata
• Nested word
• Words
• Finite-state machine

Emergence of electric mobility: a nested approach to vehicle choice modeling Aurélie Glerum Michaël Thémans Michel Bierlaire

Source URL: www.strc.ch

• Choice modelling
• Discrete choice
• Electric car
• Choice set
• Renault
• Electric vehicle

Stop The Evaluation Arms Race! A Call to Evaluate Visualization Evaluation Position Paper The Four-Level Nested Model Revisited: Blocks and Guidelines

Source URL: www.cs.utah.edu

Binary storage for nested data structures and application to hstore data type Oleg Bartunov, Teodor Sigaev Moscow University Oleg Bartunov, Teodor Sigaev

Source URL: www.sai.msu.su

Foundations of Software Technology and Theoretical Computer Science (BangaloreEditors: R. Hariharan, M. Mukund, V. Vinay; pp - Harnessing the Multicores: Nested Data Parallelism in Haskell Simon Peyton Jones1 , R

Source URL: research.microsoft.com

Nested Sequential Monte Carlo Fredrik Lindsten Linköping University & The University of Cambridge February 26, 2015

Source URL: users.isy.liu.se