Search Results - LOIDL, HANS-WOLFGANG

Refine Results
  1. 1
    HPC-GAP: engineering a 21st-century high-performance computer algebra system

    HPC-GAP: engineering a 21st-century high-performance computer algebra system by Behrends, Reimer, Hammond, Kevin, Janjic, Vladimir, Konovalov, Alexander, Linton, Steve, Loidl, Hans-Wolfgang, Maier, Patrick, Trinder, Phil

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Parallel Haskell implementations of the N-body problem

    Parallel Haskell implementations of the N-body problem by Totoo, Prabhat, Loidl, Hans-Wolfgang

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    SICSA multicore challenge editorial preface

    SICSA multicore challenge editorial preface by Loidl, Hans-Wolfgang, Singer, Jeremy

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  4. 4
    NsGTFA: A GUI Tool to Easily Measure Network Performance through the Ns2 Trace File

    NsGTFA: A GUI Tool to Easily Measure Network Performance through the Ns2 Trace File by Ibrahim, Idris Skloul, King, Peter J.B., Loidl, Hans-Wolfgang

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    PAEAN: Portable and scalable runtime support for parallel Haskell dialects

    PAEAN: Portable and scalable runtime support for parallel Haskell dialects by BERTHOLD, JOST, LOIDL, HANS-WOLFGANG, HAMMOND, KEVIN

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Editorial of Special Issue Trends in Functional Programming 2011/12

    Editorial of Special Issue Trends in Functional Programming 2011/12 by Loidl, Hans-Wolfgang, Peña, Ricardo

    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    A program logic for resources

    A program logic for resources by Aspinall, David, Beringer, Lennart, Hofmann, Martin, Loidl, Hans-Wolfgang, Momigliano, Alberto

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Evaluating a High-Level Parallel Language (GpH) for Computational GRIDs

    Evaluating a High-Level Parallel Language (GpH) for Computational GRIDs by Al Zain, A.D., Trinder, P.W., Michaelson, G.J., Loidl, H.-W.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    Static Determination of Quantitative Resource Usage for Higher-Order Programs

    Static Determination of Quantitative Resource Usage for Higher-Order Programs by JOST, Steffen, HAMMOND, Kevin, LOIDL, Hans-Wolfgang, HOFMANN, Martin

    Published in ACM SIGPLAN notices
    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    Engineering parallel symbolic programs in GPH

    Engineering parallel symbolic programs in GPH by Loidl, Hans-Wolfgang, Trinder, Philip W., Hammond, Kevin, Junaidu, Sahalu B., Morgan, Richard G., Peyton Jones, Simon L.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  11. 11
    Seq no more: Better Strategies for Parallel Haskell

    Seq no more: Better Strategies for Parallel Haskell by MARLOW, Simon, MAIER, Patrick, LOIDL, Hans-Wolfgang, ASWAD, Mustafa K, TRINDER, Phil

    Published in ACM SIGPLAN notices
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    TOWARDS MOBILITY SKELETONS

    TOWARDS MOBILITY SKELETONS by DU BOIS, ANDRÉ RAUBER, TRINDER, PHIL, LOIDL, HANS-WOLFGANG

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  13. 13
    TUNING TASK GRANULARITY AND DATA LOCALITY OF DATA PARALLEL GPH PROGRAMS

    TUNING TASK GRANULARITY AND DATA LOCALITY OF DATA PARALLEL GPH PROGRAMS by LOIDL, HANS-WOLFGANG, TRINDER, PHILIP W., BUTZ, CARSTEN

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  14. 14
    Preface

    Preface by Hofmann, Martin, Loidl, Hans-Wolfgang

    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    A Proof-Carrying-Code Infrastructure for Resources

    A Proof-Carrying-Code Infrastructure for Resources by Loidl, H.-W., MacKenzie, K., Jost, S., Beringer, L.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  16. 16
    Communicating on Security within Software Development Issue Tracking

    Communicating on Security within Software Development Issue Tracking by McGregor, Léon, Maarek, Manuel, Hans-Wolfgang Loidl

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    A program logic for resources: Semantic and logical foundations of global computing

    A program logic for resources: Semantic and logical foundations of global computing by ASPINALL, David, BERINGER, Lennart, HOFMANN, Martin, LOIDL, Hans-Wolfgang, MOMIGLIANO, Alberto

    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    Applied semantics

    Applied semantics by HOFMANN, Martin, LOIDL, Hans-Wolfgang

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  19. 19
    Introducing and Interfacing with Cybersecurity -- A Cards Approach

    Introducing and Interfacing with Cybersecurity -- A Cards Approach by Shah, Ryan, Maarek, Manuel, Stals, Shenando, Baillie, Lynne, Chan, Sheung Chi, Stewart, Robert, Hans-Wolfgang Loidl, Chatzifoti, Olga

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    Parallel and Symbolic Model Checking for Fixpoint Logic with Chop

    Parallel and Symbolic Model Checking for Fixpoint Logic with Chop by Lange, Martin, Loidl, Hans Wolfgang

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: