Arie - PDFSEARCH.IO - Document Search Engine

Arie
Results: 427

#	Item
41	A Crash Course in Robust Optimization Arie M.C.A. Koster INRIA – Project COATI – 12 February 2013 Add to Reading List Source URL: www-sop.inria.fr - Date: 2013-02-12 08:31:59
42	On Exact Algorithms for Treewidth HANS L. BODLAENDER, Utrecht University, the Netherlands FEDOR V. FOMIN, University of Bergen, Norway ARIE M. C. A. KOSTER, Aachen University, Germany DIETER KRATSCH, Universit´e de Metz Add to Reading List Source URL: users.uoa.gr - Date: 2014-06-11 17:30:28
43	Industrial Applications of ASF+SDF Mark van den Brand,1 Arie van Deursen,2 Paul Klint,1 2 Steven Klusener,2 4 and Emma van der Meulen3 1 University of Amsterdam, Kruislaan 403, 1098 SJ Amsterdam Add to Reading List Source URL: www.st.ewi.tudelft.nl - Date: 2009-11-26 15:59:20
44	Work Practices and Challenges in Pull-Based Development: The Integrator’s Perspective Georgios Gousios∗ , Andy Zaidman∗ , Margaret-Anne Storey† , Arie van Deursen∗ ∗ Delft University of Technology, the Nethe Add to Reading List Source URL: keg.cs.uvic.ca - Date: 2015-12-17 18:45:05
45	SATT: Tailoring Code Metric Thresholds for Different Software Architectures Maurício Aniche1,3 , Christoph Treude2 , Andy Zaidman1 , Arie van Deursen1 , Marco Aurélio Gerosa3 {m.f.aniche,a.e.zaidman,arie.vandeursen}@tu Add to Reading List Source URL: www.mauricioaniche.com - Date: 2016-08-11 11:28:42
46	Automatic Abstraction in SMT-Based Unbounded Software Model Checking ⋆ Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PA, USA Abstract. Software model che Add to Reading List Source URL: www.cs.cmu.edu - Date: 2013-06-08 14:51:39
47	SMT-based Model Checking for Recursive Programs ⋆ Anvesh Komuravelli, Arie Gurfinkel, and Sagar Chaki Carnegie Mellon University, Pittsburgh, PA, USA Abstract. We present an SMT-based symbolic model checking algorithm Add to Reading List Source URL: www.cs.cmu.edu - Date: 2014-08-20 17:05:42
48	A Validated Set of Smells in Model-View-Controller Architectures Maurício Aniche1,4 , Gabriele Bavota2 , Christoph Treude3 , Arie van Deursen1 , Marco Aurélio Gerosa4 {m.f.aniche,arie.vandeursen}@tudelft.nl, gabriele.b Add to Reading List Source URL: ctreude.files.wordpress.com - Date: 2016-07-04 21:22:32
49	A Validated Set of Smells in Model-View-Controller Architectures Maurício Aniche1,4 , Gabriele Bavota2 , Christoph Treude3 , Arie van Deursen1 , Marco Aurélio Gerosa4 {m.f.aniche,arie.vandeursen}@tudelft.nl, gabriele.b Add to Reading List Source URL: www.mauricioaniche.com - Date: 2016-07-21 22:08:22
50	SATT: Tailoring Code Metric Thresholds for Different Software Architectures Maurício Aniche1,3 , Christoph Treude2 , Andy Zaidman1 , Arie van Deursen1 , Marco Aurélio Gerosa3 {m.f.aniche,a.e.zaidman,arie.vandeursen}@tu Add to Reading List Source URL: ctreude.files.wordpress.com - Date: 2016-08-28 21:31:46

UPDATE