Search Results - Culpo, Massimiliano

  • Showing 1 - 6 results of 6
Refine Results
  1. 1
    Flexible and Optimal Dependency Management via Max-SMT

    Flexible and Optimal Dependency Management via Max-SMT by Pinckney, Donald, Cassano, Federico, Guha, Arjun, Bell, Jonathan, Culpo, Massimiliano, Gamblin, Todd

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Using Answer Set Programming for HPC Dependency Solving

    Using Answer Set Programming for HPC Dependency Solving by Gamblin, Todd, Culpo, Massimiliano, Becker, Gregory, Shudler, Sergei

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Dynamical iteration schemes for multiscale simulation in nanoelectronics

    Dynamical iteration schemes for multiscale simulation in nanoelectronics by de Falco, Carlo, Culpo, Massimiliano

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Dynamical iteration schemes for coupled simulation in nanoelectronics

    Dynamical iteration schemes for coupled simulation in nanoelectronics by Culpo, Massimiliano, de Falco, Carlo

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Using Answer Set Programming for HPC Dependency Solving

    Using Answer Set Programming for HPC Dependency Solving by Gamblin, Todd, Culpo, Massimiliano, Becker, Gregory, Shudler, Sergei

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Flexible and Optimal Dependency Management via Max-SMT

    Flexible and Optimal Dependency Management via Max-SMT by Pinckney, Donald, Cassano, Federico, Guha, Arjun, Bell, Jon, Culpo, Massimiliano, Gamblin, Todd

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: