Theory and Algorithms - Model Checking Prioritized Timed Systems (English)
- New search for: Lin, S-W
- New search for: Lin, S-W
- New search for: Hsiung, P-A
In:
IEEE transactions on computers
;
61
, 6
; 843-857
;
2012
-
ISSN:
- Article (Journal) / Print
-
Title:Theory and Algorithms - Model Checking Prioritized Timed Systems
-
Contributors:Lin, S-W ( author ) / Hsiung, P-A
-
Published in:IEEE transactions on computers ; 61, 6 ; 843-857
-
Publisher:
- New search for: IEEE Computer Soc.
-
Place of publication:Los Alamitos, Calif.
-
Publication date:2012
-
ISSN:
-
ZDBID:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 54.00
- Further information on Basic classification
-
Keywords:
-
Classification:
BKL: 54.00 Informatik: Allgemeines -
Source:
Table of contents – Volume 61, Issue 6
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 753
-
ST-CDP: Snapshots in TRAP for Continuous Data ProtectionJing Yang, / Qiang Cao, / Xu Li, / Changsheng Xie, / Qing Yang, et al. | 2012
- 753
-
Availability and Reliability - ST-CDP: Snapshots in TRAP for Continuous Data ProtectionYang, J et al. | 2012
- 767
-
The Reliability Wall for Exascale SupercomputingXuejun Yang, / Zhiyuan Wang, / Jingling Xue, / Yun Zhou, et al. | 2012
- 780
-
Computer Arithmetic - On Polynomial Multiplication in Chebyshev BasisGiorgi, P et al. | 2012
- 780
-
On Polynomial Multiplication in Chebyshev BasisGiorgi, Pascal et al. | 2012
- 790
-
Radix-2 Multioperand and Multiformat Streaming Online AdditionMoreno, J. V. / Lang, T. / Hormigo, J. et al. | 2012
- 804
-
vCUDA: GPU-Accelerated High-Performance Computing in Virtual MachinesLin Shi, / Hao Chen, / Jianhua Sun, / Kenli Li, et al. | 2012
- 804
-
Computer Graphics - vCUDA: GPU-Accelerated High-Performance Computing in Virtual MachinesShi, L et al. | 2012
- 817
-
Locality-Sensitive Bloom Filter for Approximate Membership QueryYu Hua, / Bin Xiao, / Veeravalli, B. / Dan Feng, et al. | 2012
- 817
-
Networking - Locality-Sensitive Bloom Filter for Approximate Membership QueryHua, Y et al. | 2012
- 831
-
Reconfigurable Systems - A Parallel Hardware Architecture for Real-Time Object Detection with Support Vector MachinesKyrkou, C et al. | 2012
- 831
-
A Parallel Hardware Architecture for Real-Time Object Detection with Support Vector MachinesKyrkou, C. / Theocharides, T. et al. | 2012
- 843
-
Theory and Algorithms - Model Checking Prioritized Timed SystemsLin, S-W et al. | 2012
- 843
-
Model Checking Prioritized Timed SystemsShang-Wei Lin, / Pao-Ann Hsiung, et al. | 2012
- 857
-
NoC-Based Hardware Accelerator for Breakpoint PhylogenyMajumder, T. / Sarkar, S. / Pande, P. P. / Kalyanaraman, A. et al. | 2012
- 870
-
Automated Generation of Performance and Dependability Models for the Assessment of Wireless Sensor NetworksDi Martino, C. / Cinque, M. / Cotroneo, D. et al. | 2012
- 870
-
Wireless Networks - Automated Generation of Performance and Dependability Models for the Assessment of Wireless Sensor NetworksCinque, M et al. | 2012
- 885
-
GPS-Free, Boundary-Recognition-Free, and Reliable Double-Ruling-Based Information Brokerage Scheme in Wireless Sensor NetworksChia-Hung Lin, / Jian-Jhih Kuo, / Bing-Hong Liu, / Ming-Jer Tsai, et al. | 2012
- 899
-
Concatenation of Functional Test Subsequences for Improved Fault Coverage and Reduced Test LengthPomeranz, I. et al. | 2012
- 899
-
BRIEF CONTRIBUTIONS - Concatenation of Functional Test Subsequences for Improved Fault Coverage and Reduced Test LengthPomeranz, I et al. | 2012
- 905
-
Fast Identification of Undetectable Transition Faults under Functional Broadside TestsPomeranz, I. et al. | 2012
- 911
-
A Note on Diagnosability of Large Fault Sets on Star GraphsY-Chuang Chen, / Shun-Fu Liu, et al. | 2012
- 911
-
COMMENTS - A Note on Diagnosability of Large Fault Sets on Star GraphsChen, Y-C et al. | 2012
- c1
-
[Front cover]| 2012
- c2
-
[Inside front cover]| 2012
- c3
-
[Inside back cover]| 2012
- c4
-
[Back cover]| 2012