Skip to contents

Fruja, Nicu Georgian [Author]

A Modular Design for the Common Language Runtime (CLR) Architecture

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/69598

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, Department of Computer Science, 2005

Published in: Technical Report / ETH Zurich, Department of Computer Science, 492
Fruja, Nicu Georgian [Author]

A Modular Design for the Common Language Runtime (CLR) Architecture

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/69599

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, Department of Computer Science, 2005

Published in: Technical Report / ETH Zurich, Department of Computer Science, 493
Boström, Pontus [Author]; Müller, Peter [Author]

Modular Verification of Finite Blocking in Non-terminating Programs

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/94496

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH-Zürich, 2014
Payer, Mathias J. [Author] ; Gross, Thomas [Contributor]; Capkun, Srdjan [Contributor]

Safe loading and efficient runtime confinement: A foundation for secure execution

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/72818

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, 2012
Artho, Cyrille [Author] ; Biere, Armin [Contributor]; Gross, Thomas [Contributor]

Combining static and dynamic analysis to find multi-threading faults beyond data races

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/148753

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Hartung-Gorre Verlag, 2005

Published in: Series in computer science, 5
Lin, Denny [Author]

Blackboxing Performance Monitoring Units

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/155854

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH Zürich, Department of Computer Science, Systems Group, 2016
Singh, Gagandeep [Author]

Fast Algorithms for Octagon Abstract Domain

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/154566

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH-Zürich, 2014
Schweizer, Daniel [Author]

Overapproximating the Cost of Loops

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/153932

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Chair of Programming Methodology, 2013
Artho, Cyrille [Author]; Biere, Armin [Author]

Combined Static and Dynamic Analysis

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/69788

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, Department of Computer Science, 2005

Published in: Technical report, 466
Trachsel, Oliver [Author] ; Gross, Thomas [Contributor]; Eigenmann, Rudolf [Contributor]

Application-level multi-variant speculation with competitive parallel execution

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/27807

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, 2010
Bender, Michael A. [Author]; Brodal, Gerth Stolting [Author]; Fagerberg, Rolf [Author]; Jacob, Riko [Author]; Vicari, Elias [Author]

Optimal sparse matrix dense vector multiplication in the I/O-model

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/66998

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, Department of Computer Science, 2006

Published in: Technical Report / ETH Zurich, Department of Computer Science, 523
Corti, Matteo [Author] ; Gross, Thomas [Contributor]

Approximating the worst-case execution of soft real-time applications

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/148556

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH Zürich, 2005
Lehner, Hermann [Author] ; Beckert, Bernhard [Contributor]; Müller, Peter [Contributor]

A formal definition of JML in Coq and its application to runtime assertion checking

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/44276

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, 2011
Fruja, Nicu Georgian [Author]

Type safety of generics for the .NET common language runtime

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/69573

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, Department of Computer Science, 2011

Published in: Technical Report / ETH Zurich, Department of Computer Science, 519
Negele, Florian [Author] ; Gross, Thomas [Contributor]; Gutknecht, Jürg [Contributor]

Combining Lock-Free Programming with Cooperative Multitasking for a Portable Multiprocessor Runtime System

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/154828

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH-Zürich, 2014
Komm, Dennis [Author] ; Widmayer, Peter [Contributor]; Hromkovič, Juraj [Contributor]

Advice and Randomization in Online Computation

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/72815

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, 2012
Wintersteiger, Christoph M. [Author] ; Basin, David A. [Contributor]; Kröning, Daniel [Contributor]

Termination Analysis for Bit-Vector Programs

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/72785

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, 2011

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication