Loris - PDFSEARCH.IO - Document Search Engine

Loris
Results: 136

#	Item
31	Immutable Specifications for More Concise and Precise Verification Cristina David Wei-Ngan Chin Add to Reading List Source URL: loris-7.ddns.comp.nus.edu.sg Language: English - Date: 2011-11-20 22:33:50
32	FixBag? : A Fixpoint Calculator for Quantified Bag Constraints Tuan-Hung Pham1 , Minh-Thai Trinh2 , Anh-Hoang Truong2 , Wei-Ngan Chin3 1 2 Add to Reading List Source URL: loris-7.ddns.comp.nus.edu.sg Language: English - Date: 2011-04-29 10:20:12
33	A version of this technical report has been accepted for publication at ATVA 2013 An Expressive Framework for Verifying Deadlock Freedom Duy-Khanh Le, Wei-Ngan Chin, Yong-Meng Teo Add to Reading List Source URL: loris-7.ddns.comp.nus.edu.sg Language: English - Date: 2013-06-25 00:13:50
34	Structured Specifications for Better Verification of Heap-Manipulating Programs Cristian Gherghina1 1 Cristina David1 Add to Reading List Source URL: loris-7.ddns.comp.nus.edu.sg Language: English - Date: 2011-04-27 02:28:20
35	Factors influencing stereotypic behaviours of animals rescued from Asian animal markets: A slow loris case study Add to Reading List Source URL: www.nocturama.org Language: English - Date: 2015-06-12 07:24:56
36	Automated Grading of DFA Constructions ∗ Rajeev Alur and Loris D’Antoni Sumit Gulwani Dileep Kini and Mahesh Viswanathan Department of Computer Science Microsoft Research Department of Computer Science Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-04-29 09:04:51
37	Quarterly Vol.2 Issue #2 And a Good Time Was Had By All By Elizabeth Loris Ritter Add to Reading List Source URL: forttryonparktrust.org Language: English - Date: 2009-05-27 10:37:19 Fort Tryon Park New York Restoration Project Hudson Heights Tryon North Carolina The Cloisters Fort Washington Avenue Inwood Hill Park William Tryon Third and Amsterdam Avenues Line Manhattan Washington Heights Manhattan Geography of New York City
38	An Architecture for High Performance Network Analysis Fulvio Risso and Loris Degioanni Dipartimento di Automatica e Informatica – Politecnico di Torino Corso Duca degli Abruzzi, 24 – 10129 Torino, Italy {risso,degio Add to Reading List Source URL: www.winpcap.org Language: English - Date: 2010-09-05 10:10:56 Pcap Tcpdump Wireshark Network Driver Interface Specification Firewall Packet capture Architecture of Windows NT Transmission Control Protocol Kernel Software Computer network security Berkeley Packet Filter
39	DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations ∗ Rajeev Alur Loris D’Antoni Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2015-02-14 10:45:49
40	DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations Rajeev Alur Loris D’Antoni Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2015-01-15 02:35:33

UPDATE