Liveness and Boundedness of Synchronous Data Flow Graphs AmirHossein Ghamarian, Marc Geilen, Twan Basten, Bart Theelen, MohammadReza Mousavi, Sander Stuijk ES Reports

Source URL: www.es.ele.tue.nl

Liveness of Communicating Transactions? (Extended Abstract) Edsko de Vries, Vasileios Koutavas, and Matthew Hennessy Trinity College Dublin {Edsko.de.Vries,Vasileios.Koutavas,Matthew.Hennessy}@cs.tcd.ie

Source URL: www.edsko.net

International Conference on Automated Planning and Scheduling (ICAPSTask and Motion Policy Synthesis as Liveness Games Yue Wang and Neil T. Dantam and Swarat Chaudhuri and Lydia E. Kavraki Department of Computer

Source URL: www.neil.dantam.name

• Theoretical computer science
• Robot kinematics
• Constraint programming
• NP-complete problems
• Motion planning
• Pursuit-evasion
• Satisfiability modulo theories
• Automated planning and scheduling
• Liveness

Model based approach to verification of higher-order programs (Invited Talk) Igor Walukiewicz CNRS Bordeaux University, France

Source URL: refal.botik.ru

• Distributed computing
• Safety
• Liveness
• Computing
• Formal methods
• Software engineering
• Concurrency
• Logic in computer science

Live Debugging of Distributed Systems Darren Dao1 , Jeannie Albrecht2 , Charles Killian3 , and Amin Vahdat1 1 University of California, San Diego, La Jolla, CA 2

Source URL: www.macesystems.org

• Concurrent computing
• Distributed data storage
• Computing
• Computer programming
• Distributed computing
• File sharing
• Distributed hash table
• Liveness
• Safety
• Peer-to-peer
• Chord
• Pastry

Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic Kevin Baldor 1,2

Source URL: rv2012.ku.edu.tr

• Distributed computing
• Safety
• United States federal banking legislation
• Liveness
• GrammLeachBliley Act
• Gramm
• Model checking
• Computing

2 TM C: a Software Transactional Memory for Many-Cores Vasileios Trigonakis

Source URL: www.gsd.inesc-id.pt

• Concurrency control
• Transaction processing
• Transactional memory
• Programming language implementation
• Software transactional memory
• Computer memory
• Non-blocking algorithm
• Liveness
• Multi-core processor

SimGrid MC 101 Getting Started with the SimGrid Model-Checker Da SimGrid Team September 1, 2015

Source URL: simgrid.gforge.inria.fr

• Formal methods
• Logic in computer science
• Model checking
• Theoretical computer science
• Formal verification
• Safety
• Liveness
• Device driver synthesis and verification

Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code Charles Killian, James W. Anderson, Ranjit Jhala, and Amin Vahdat University of California, San Diego {ckillian, jwanderson, jhala, vahdat}@

Source URL: www.macesystems.org

• Concurrent computing
• Liveness
• Safety
• Model checking
• Random walk
• Concurrency
• Models of computation

LIVENESS IN NETWORK MUSIC PERFORMANCE Chad McKinney Nick Collins University of Sussex

Source URL: chadmckinneyaudio.com