Liveness - PDFSEARCH.IO - Document Search Engine

Liveness
Results: 51

#	Item
21	On the Usefulness of Liveness for Garbage Collection and Leak Detection Martin Hirzel1 , Amer Diwan1 , and Antony Hosking2 1 University of Colorado Add to Reading List Source URL: www-plan.cs.colorado.edu Language: English - Date: 2002-04-02 15:56:10
22	A Formal Semantics for Gaia Liveness Rules and Expressions Tim Miller and Peter McBurney∗ Department of Computer Science, University of Liverpool, Liverpool, L69 7ZF, UK {tim, p.j.mcburney}@csc.liv.ac.uk Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2014-07-24 21:25:10
23	On the Usefulness of Type and Liveness Accuracy for Garbage Collection and Leak Detection MARTIN HIRZEL, AMER DIWAN, and JOHANNES HENKEL University of Colorado Add to Reading List Source URL: www-plan.cs.colorado.edu Language: English - Date: 2003-01-28 16:04:32
24	Paper Title (use style: paper title) Add to Reading List Source URL: liveprogramming.github.io Language: English - Date: 2013-05-19 19:35:21 Computing Software engineering Computer programming Concurrent computing Liveness Integrated development environment Source code Software Pin Debugging Visual programming language Interpreter
25	Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion? Søren Debois1 , Thomas Hildebrandt1 , Tijs Slaats1,2 , and Nobuko Yoshida3 1 Add to Reading List Source URL: mrg.doc.ic.ac.uk Language: English - Date: 2014-04-04 13:04:14
26	Seeing is Not Believing: Visual Verifications through Liveness Analysis using Mobile Devices Mahmudur Rahman Umut Topkara Add to Reading List Source URL: users.cis.fiu.edu Language: English - Date: 2013-09-07 22:22:37
27	PDF Document Add to Reading List Source URL: ramund.ikk.ku.dk Language: English - Date: 2014-01-23 11:56:06 Concurrent computing Liveness
28	Characterizing Progress Properties of Concurrent Objects via Contextual Refinements Hongjin Liang1,2 , Jan Hoffmann2 , Xinyu Feng1 , and Zhong Shao2 1 University of Science and Technology of China Add to Reading List Source URL: flint.cs.yale.edu Language: English - Date: 2013-07-18 23:10:16 Concurrency control Linearizability Non-blocking algorithm Monitor Lock Deadlock Synchronization Thread Liveness
29	Electronic Notes in Theoretical Computer Science 86 NoURL: http://www.elsevier.nl/locate/entcs/volume86.html 16 pages Simulating Liveness by Reduction Strategies J¨ urgen Giesl 1 Add to Reading List Source URL: www-i2.informatik.rwth-aachen.de Language: English - Date: 2006-07-26 07:36:58 Mathematical analysis Mathematics Concurrent computing Liveness Measure theory Safety Path ordering Lp space Connection

UPDATE