Lahiri

Results: 79



#Item
1SMT Techniques for Fast Predicate Abstraction Shuvendu K. Lahiri? , Robert Nieuwenhuis?? , and Albert Oliveras?? Abstract. Predicate abstraction is a technique for automatically extracting finite-state abstractions for s

SMT Techniques for Fast Predicate Abstraction Shuvendu K. Lahiri? , Robert Nieuwenhuis?? , and Albert Oliveras?? Abstract. Predicate abstraction is a technique for automatically extracting finite-state abstractions for s

Add to Reading List

Source URL: www.lsi.upc.edu

Language: English - Date: 2006-06-09 05:24:28
2Journal of the International Map Collectors’ Society winter 2015 No. 143 articles A pilgrim’s path: A nineteenth-century map of Chitrakoot Manosi Lahiri

Journal of the International Map Collectors’ Society winter 2015 No. 143 articles A pilgrim’s path: A nineteenth-century map of Chitrakoot Manosi Lahiri

Add to Reading List

Source URL: www.imcos.org

Language: English - Date: 2016-07-12 06:46:17
    3In Defense of Probabilistic Static Analysis Shuvendu K. Lahiri Benjamin Livshits Microsoft Research

    In Defense of Probabilistic Static Analysis Shuvendu K. Lahiri Benjamin Livshits Microsoft Research

    Add to Reading List

    Source URL: www.doc.ic.ac.uk

    Language: English - Date: 2017-01-10 09:15:11
      4The Top 10 Novel Study Titles Schools Are Taking Digital Schools across the country are moving their novel study programs from print to digital. Here’s a look at the most popular titles making this critical shift:

      The Top 10 Novel Study Titles Schools Are Taking Digital Schools across the country are moving their novel study programs from print to digital. Here’s a look at the most popular titles making this critical shift:

      Add to Reading List

      Source URL: company.overdrive.com

      Language: English - Date: 2015-10-29 15:26:27
      5The Top 10 Novel Study Titles Schools Are Taking Digital Schools across the country are moving their novel study programs from print to digital. Here’s a look at the most popular titles making this critical shift:

      The Top 10 Novel Study Titles Schools Are Taking Digital Schools across the country are moving their novel study programs from print to digital. Here’s a look at the most popular titles making this critical shift:

      Add to Reading List

      Source URL: company.overdrive.com

      Language: English - Date: 2016-06-14 13:58:02
      6A. General Name: AVIJIT LAHIRI Date of birth: 19 May, 1948. Address (residence): 252 Laketown (first floor), Block A, Kolkata, India. Tel. :

      A. General Name: AVIJIT LAHIRI Date of birth: 19 May, 1948. Address (residence): 252 Laketown (first floor), Block A, Kolkata, India. Tel. :

      Add to Reading List

      Source URL: www.physicsandmore.net

      Language: English - Date: 2015-12-21 00:59:38
      7The Oracle Database Resource Manager: Scheduling CPU Resources at the Application Level Ann Rhee, Sumanta Chatterjee, Tirthankar Lahiri Oracle Corporation 500 Oracle Parkway Redwood Shores, CA 94065

      The Oracle Database Resource Manager: Scheduling CPU Resources at the Application Level Ann Rhee, Sumanta Chatterjee, Tirthankar Lahiri Oracle Corporation 500 Oracle Parkway Redwood Shores, CA 94065

      Add to Reading List

      Source URL: hpts.ws

      Language: English - Date: 2012-04-19 12:03:22
      8Journal of the International Map Collectors’ Society winter 2015 No. 143 articles A pilgrim’s path: A nineteenth-century map of Chitrakoot Manosi Lahiri

      Journal of the International Map Collectors’ Society winter 2015 No. 143 articles A pilgrim’s path: A nineteenth-century map of Chitrakoot Manosi Lahiri

      Add to Reading List

      Source URL: www.imcos.org

      Language: English - Date: 2016-07-12 06:46:17
        9The Top 10 Novel Study Titles Schools Are Taking Digital Schools across the country are moving their novel study programs from print to digital. Here’s a look at the most popular titles making this critical shift:

        The Top 10 Novel Study Titles Schools Are Taking Digital Schools across the country are moving their novel study programs from print to digital. Here’s a look at the most popular titles making this critical shift:

        Add to Reading List

        Source URL: company.overdrive.com

        Language: English - Date: 2016-05-26 10:04:08
        10Curriculum Vitae of SOUMENDRA NATH LAHIRI Last Revised: OFFICE ADDRESS: Department of Statistics, 5140 SAS Hall, 2311 Stinson Drive Raleigh, NCit Ph: ; Fax: (

        Curriculum Vitae of SOUMENDRA NATH LAHIRI Last Revised: OFFICE ADDRESS: Department of Statistics, 5140 SAS Hall, 2311 Stinson Drive Raleigh, NCit Ph: ; Fax: (

        Add to Reading List

        Source URL: www4.stat.ncsu.edu

        Language: English - Date: 2014-02-25 15:03:31