<--- Back to Details
First PageDocument Content
Jurby / Ballaugh / Andreas / Ramsey / New Jersey
Date: 2015-03-30 09:01:24
Jurby
Ballaugh
Andreas
Ramsey
New Jersey

Add to Reading List

Source URL: www.gov.im

Download Document from Source Website

File Size: 107,65 KB

Share Document on Facebook

Similar Documents

Software engineering / Computer programming / Computing / Cross-platform software / High-level programming languages / Web programming / Functional programming / Subroutines / JavaScript / Const / Stack machine / Stack trace

Bringing the Web up to Speed with WebAssembly Andreas Haas Andreas Rossberg Derek L. Schuff∗ Ben L. Titzer ∗ Google GmbH, Germany / Google Inc, USA {ahaas,rossberg,dschuff,titzer}@google.com

DocID: 1xVRR - View Document

Model checkers / Computing / Theoretical computer science / Software engineering / Formal methods / Promela / SPIN model checker / Model checking / Guard / Certificate / Formal verification / Printf format string

Increasing Usability of Spin-based C Code Verification Using a Harness Definition Language Leveraging Model-driven Code Checking to Practitioners Daniel Ratiu Andreas Ulrich

DocID: 1xVPm - View Document

Computer programming / Computing / Software engineering / Debugging / Rr / Delta debugging / Software bug / Software-defined networking / Debugger / Fuzzing / Race condition / Event

Troubleshooting Blackbox SDN Control Software with Minimal Causal Sequences Colin Scott Andreas Wundsam†? Barath Raghavan? Aurojit Panda

DocID: 1xVHC - View Document

Observational astronomy / Astronomy / Parallel computing / Bayesian network / Sloan Digital Sky Survey / Computing / Bayesian inference / Astronomical survey / Gravitational lens / Computer cluster

Cataloging the Visible Universe through Bayesian Inference at Petascale Jeffrey Regier∗ , Kiran Pamnany† , Keno Fischer‡ , Andreas Noack§ , Maximilian Lam∗ , Jarrett Revels§ , Steve Howard¶ , Ryan Giordano¶ ,

DocID: 1xVn9 - View Document

Computing / TCP Fast Open / Network performance / Data transmission / Network architecture / Computer network security / Transmission Control Protocol / Flow control / Internet protocols / Multipath TCP / QUIC / Explicit Congestion Notification

Institut für Technische Informatik und Kommunikationsnetze Andreas Germann

DocID: 1xVbR - View Document