CAST   TRITHUCKHOAHOC   LIBOL   CATEX [ Đăng Ký ] [ Đăng Nhập ]

Thống kê

Tổng tài liệu: 53365
Trong đó:
  • Bài Báo: 4532
  • Đề tài - Dự án: 379
  • Khác: 42729
  • Media: 85
  • Sách: 1045
  • Tiêu chuẩn/ Quy chuẩn: 4595

Danh mục tài liệu

  Khoa học Tự nhiên (16539)
  Khoa học Kỹ thuật (17907)
  Khoa học Đời sống (3301)
  Xã hội và Nhân Văn (1993)
  Khoa học Sức khỏe (8878)
  Tiêu chuẩn/Quy chuẩn (4747)

Danh mục Alphabet

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z


A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

 

Quantitative Analysis of Embedded Software Using Game-Theoretic Learning. (05/01/2014)
The analysis of quantitative properties, such as timing and power, is central to the design of reliable real-time embedded software and systems. However, the verification of such properties on a program is made difficult by their heavy dependence on the program's environment, such as the processor it runs on. Modeling the environment by hand can be tedious, error-prone, and time consuming. In this paper, we present a new, game-theoretic approach to analyzing quantitative properties that is based on performing systematic measurements to automatically learn a model of the environment. We model the estimation problem as a game between our algorithm...
Tác giả: Seshia, S. A.; Rakhlin, A. | Số trang: 29 | Lĩnh vực: CNTT | Năm XB: 2009 | Loại tài liệu: Khác
Tài liệu cần xác thực trước khi tải

Tiêu đềTải về
  Quantitative Analysis of Embedded Software Using Game-Theoretic Learning. | Số trang: 29
         | Loại file: .pdf
  miễn phí


Tài liệu liên quan
© Copyright 2012 Trung tâm Thông tin Khoa học và Công nghệ - Sở Khoa học & Công nghệ TP. Cần Thơ
Địa chỉ: 118/3 Trần Phú - P.Cái Khế - Q.Ninh Kiều - TPCT
Điện thoại: 0292 3824031   Fax: 0292 3812352
Lượt truy cập:
(Website trong thời gian thử nghiệm)