skip to main content
Ngôn ngữ:
Giới hạn tìm kiếm: Giới hạn tìm kiếm: Dạng tài nguyên Hiển thị kết quả với: Hiển thị kết quả với: Chỉ mục

Kết quả 1 - 20 của 42  trong Tất cả tài nguyên

Kết quả 1 2 3 next page
Chỉ hiển thị
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Modular Verification of Finite Blocking in Non-terminating Programs

Boström, Pontus ; Müller, Peter

DOI: 10.3929/ethz-a-010341095

Toàn văn sẵn có

2
Fast Algorithms for Octagon Abstract Domain
Material Type:
Trang web
Thêm vào Góc nghiên cứu

Fast Algorithms for Octagon Abstract Domain

Singh, Gagandeep

DOI: 10.3929/ethz-a-010154448

Toàn văn sẵn có

3
Blackboxing Performance Monitoring Units
Material Type:
Trang web
Thêm vào Góc nghiên cứu

Blackboxing Performance Monitoring Units

Lin, Denny

DOI: 10.3929/ethz-a-010725643

Toàn văn sẵn có

4
Overapproximating the Cost of Loops
Material Type:
Trang web
Thêm vào Góc nghiên cứu

Overapproximating the Cost of Loops

Schweizer, Daniel

DOI: 10.3929/ethz-a-009767769

Toàn văn sẵn có

5
Safe loading and efficient runtime confinement: A foundation for secure execution
Material Type:
Luận văn, Luận án
Thêm vào Góc nghiên cứu

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

Payer, Mathias J

DOI: 10.3929/ethz-a-007329902

Toàn văn sẵn có

6
A formal definition of JML in Coq and its application to runtime assertion checking
Material Type:
Luận văn, Luận án
Thêm vào Góc nghiên cứu

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

Lehner, Hermann

DOI: 10.3929/ethz-a-006680049

Toàn văn sẵn có

7
Termination Analysis for Bit-Vector Programs
Material Type:
Luận văn, Luận án
Thêm vào Góc nghiên cứu

Termination Analysis for Bit-Vector Programs

Wintersteiger, Christoph M

DOI: 10.3929/ethz-a-006707337

Toàn văn sẵn có

8
Combining Lock-Free Programming with Cooperative Multitasking for a Portable Multiprocessor Runtime System
Material Type:
Luận văn, Luận án
Thêm vào Góc nghiên cứu

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

Negele, Florian

DOI: 10.3929/ethz-a-010335528

Toàn văn sẵn có

9
Advice and Randomization in Online Computation
Material Type:
Luận văn, Luận án
Thêm vào Góc nghiên cứu

Advice and Randomization in Online Computation

Komm, Dennis

ISBN: 9783909386253 ; ISBN: 3909386253 ; DOI: 10.3929/ethz-a-007089360

Toàn văn sẵn có

10
Application-level multi-variant speculation with competitive parallel execution
Material Type:
Luận văn, Luận án
Thêm vào Góc nghiên cứu

Application-level multi-variant speculation with competitive parallel execution

Trachsel, Oliver

DOI: 10.3929/ethz-a-006243181

Toàn văn sẵn có

11
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Combined Static and Dynamic Analysis

Artho, Cyrille ; Biere, Armin

Technical report [Tạp chí có phản biện]

DOI: 10.3929/ethz-a-006775577

Toàn văn sẵn có

12
Combining static and dynamic analysis to find multi-threading faults beyond data races
Material Type:
Luận văn, Luận án
Thêm vào Góc nghiên cứu

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

Artho, Cyrille

ISBN: 3896499971 ; ISBN: 9783896499974 ; DOI: 10.3929/ethz-a-005005473

Toàn văn sẵn có

13
Approximating the worst-case execution of soft real-time applications
Material Type:
Luận văn, Luận án
Thêm vào Góc nghiên cứu

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

Corti, Matteo

DOI: 10.3929/ethz-a-004937456

Toàn văn sẵn có

14
Material Type:
Tài nguyên văn bản
Thêm vào Góc nghiên cứu

Modular Verification of Finite Blocking in Non-terminating Programs

Boström, Pontus ; Müller, Peter

DOI: 10.3929/ETHZ-A-010341095

Toàn văn sẵn có

15
Material Type:
Tài nguyên văn bản
Thêm vào Góc nghiên cứu

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

Payer, Mathias J.; Capkun, Srdjan; Gross, Thomas K.R.

DOI: 10.3929/ETHZ-A-007329902

Toàn văn sẵn có

16
Material Type:
Tài nguyên văn bản
Thêm vào Góc nghiên cứu

Fast Algorithms for Octagon Abstract Domain

Singh, Gagandeep

DOI: 10.3929/ETHZ-A-010154448

Toàn văn sẵn có

17
Material Type:
Tài nguyên văn bản
Thêm vào Góc nghiên cứu

Type safety of generics for the .NET common language runtime

Fruja, Nicu Georgian

DOI: 10.3929/ETHZ-A-006780915

Toàn văn sẵn có

18
Material Type:
Tài nguyên văn bản
Thêm vào Góc nghiên cứu

Type safety of generics for the .NET common language runtime

Fruja, Nicu Georgian

Technical report / Swiss Federal Institute of Technology Zurich

DOI: 10.3929/ethz-a-006780915

Toàn văn sẵn có

19
Material Type:
Tài nguyên văn bản
Thêm vào Góc nghiên cứu

Overapproximating the Cost of Loops

Schweizer, Daniel

DOI: 10.3929/ETHZ-A-009767769

Toàn văn sẵn có

20
Material Type:
Tài nguyên văn bản
Thêm vào Góc nghiên cứu

Blackboxing Performance Monitoring Units

Lin, Denny

DOI: 10.3929/ETHZ-A-010725643

Toàn văn sẵn có

Kết quả 1 - 20 của 42  trong Tất cả tài nguyên

Kết quả 1 2 3 next page

Chủ đề của tôi

  1. Thiết lập

Refine Search Results

Mở rộng kết quả tìm kiếm

  1.   

Chỉ hiển thị

  1. Tạp chí có phản biện (2)

Lọc kết quả

Năm xuất bản 

Từ đến
  1. Trước2002  (2)
  2. 2002đến2004  (5)
  3. 2005đến2007  (12)
  4. 2008đến2011  (9)
  5. Sau 2011  (14)
  6. Lựa chọn khác open sub menu

Ngôn ngữ 

  1. English  (41)
  2. German  (1)
  3. Lựa chọn khác open sub menu

Đang tìm Cơ sở dữ liệu bên ngoài...