Skip navigation
首頁
查詢/瀏覽
資料類型
瀏覽文件透過:
日期
作者
題名
關鍵字
幫助
我的 DSpace
接受 E-mail 通知
編輯個人資料
逢甲大學校園典藏知識庫
Feng Chia University Institutional Repository
搜尋
搜尋:
整個系統
2. 期刊
ICS國際計算機會議
1996年 ICS 國際計算機會議
for
目前的篩選器:
標題
作者
關鍵字
日期
Has File(s)
???jsp.search.filter.original_bundle_filenames???
???jsp.search.filter.original_bundle_descriptions???
等於
包含
ID
不等於
不包含
非 ID
開始新的搜尋
新增篩選器:
使用篩選器讓結果更精確。
標題
作者
關鍵字
日期
Has File(s)
???jsp.search.filter.original_bundle_filenames???
???jsp.search.filter.original_bundle_descriptions???
等於
包含
ID
不等於
不包含
非 ID
第 1 到 3 筆結果,共 3 筆。
上一頁
1
下一頁
符合的文件:
題名
作者
日期
Synthesizing Timed Transitions and Timed Places in a Petri Net
Yang, Steve J.
;
Tsai, Jeffrey T.P.
;
Juan, Eric Y.T.
;
Lai, Zheng Hao
2006-10-24T06:54:32Z
On Improving the Schedulability of Real-Time Data-Intensive Applications:Preemptibility versus Non-Preemptibility
Ho, Shao-Juen
;
Liang, Ming-Chung
;
Kuo, Tei-Wei
2006-10-24T06:56:11Z
On Detection of Bounded Global Predicates
Chen, Loon-Been
;
Wu, I-Chen
2006-10-24T06:54:25Z
探索
作者
1
Chen, Loon-Been
1
Ho, Shao-Juen
1
Juan, Eric Y.T.
1
Kuo, Tei-Wei
1
Lai, Zheng Hao
1
Liang, Ming-Chung
1
Tsai, Jeffrey T.P.
1
Wu, I-Chen
1
Yang, Steve J.
關鍵字
1
concurrency control
1
Petri nets
1
priority inversion
1
real-time
1
real-time databases
1
specification
1
synthesis
1
systems
1
timing constraints
1
transaction aborting
.
下一步 >
日期
3
2006
提供全文
3
true