Arie

Results: 427



#Item
41A Crash Course in Robust Optimization Arie M.C.A. Koster INRIA – Project COATI – 12 February 2013

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
    42On 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

    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
      43Industrial 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

      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
        44Work 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

        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
          45SATT: 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

          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
            46Automatic 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

            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
              47SMT-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

              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
                48A 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

                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
                  49A 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

                  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
                    50SATT: 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

                    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