>> Google Books
QRコード(所蔵情報)

Behavioral intervals in embedded software : timing and power analysis of embedded real-time software processes

フォーマット:
図書
責任表示:
by Fabian Wolf
言語:
英語
出版情報:
Dordrecht : Kluwer Academic, c2002
形態:
xxii, 189 p. : ill ; 25 cm
著者名:
Wolf, Fabian  
書誌ID:
BA59274226
ISBN:
9781402071355 [1402071353]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Real-time and embedded computing systems and applications : 9th International Conference, RTCSA 2003, Tainan City, Taiwan, ROC, February 18-20, 2003, revised …

International Workshop on Real-Time Computing Systems and Applications, Chen, Jing, Hong, Seongsoo

Springer
7 図書 Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation (DFG) : final …

Deutsche Forschungsgemeinschaft, Ehrig, Hartmut, Damm, Werner, Desel, Jörg, Groβe-Rhode, Martin, Reif, Wolfgang, …

Springer
2 電子ブック Real-Time Embedded Systems

Christos Koulamas (Ed.); Mihai T. Lazarescu (Ed.)

MDPI - Multidisciplinary Digital Publishing Institute
8 図書 Access2.0パーフェクトガイド : データベースの設計・管理からAccess Basicプログラミングまでを完全解説

Bruce, Walter R., Madoni, Dan, Wolf, Rich, エディックス, 翔泳社テクニカルコア

翔泳社
3 図書 Engineering theories of software construction

Hoare, Tony, Broy, M., 1949-, Steinbrüggen, Ralf

IOS Press
9 電子ブック Center for the Commercial Development of Space, Real-Time Satellite Mapping : remote sensing-based agricultural information expert system

Hadipriono, Fabian C.

The Ohio State University, Center for the Commercial Development of Space: Real-Time Satellite Mapping ;
4 電子ブック Real-time Digital Signal Processing for Software-defined Optical Transmitters and Receivers

KIT Scientific Publishing
10 電子ブック Real-Time and Embedded Computing Systems and Applications

International Conference on Real-Time Computing Systems and Applications, Chen, Jing, Hong, Seongsoo, LINK (Online …

Springer Berlin Heidelberg
5 図書 Symbolic model checking for large software specifications

Chan, Woon Chung

UMI Dissertaion Services
11 図書 The statistical analysis of interval-censored failure time data

Sun, Jianguo

Springer
6 図書 Systems and software verification : model-checking techniques and tools

Bérard, Béatrice

Springer
12 電子ブック The Statistical Analysis of Interval-censored Failure Time Data

Sun, Jian'guo, Gail, M., Krickeberg, K., Sun, Jianguo, Samet, J.

Springer New York