Sciweavers

79 search results - page 3 / 16

» hybrid 1997

8

IPPS
1997
IEEE

64views Distributed And Parallel Com...» more IPPS 1997»

A Hybrid Interconnection Network for Integrated Communication Services

13 years 9 months ago

A Hybrid Interconnection Network for Integrated Communication Services

Download rtds.cs.tamu.edu

Yilong Chen, Jyh-Charn Liu

claim paper

Read More »

10

ISHPC
1997
Springer

75views Distributed And Parallel Com...» more ISHPC 1997»

Hybrid Approach for Non-strict Dataflow Program on Commodity Machine

13 years 8 months ago

Hybrid Approach for Non-strict Dataflow Program on Commodity Machine

Download www-al.is.kyushu-u.ac.jp

Kentaro Inenaga, Shigeru Kusakabe, Tetsuro Morimot...

claim paper

Read More »

10

KES
1997
Springer

111views Information Technology» more KES 1997»

Formal verification of the correctness in hybrid expert systems

13 years 8 months ago

Formal verification of the correctness in hybrid expert systems

Download www4.comp.polyu.edu.hk

Simon C. K. Shiu, James N. K. Liu, Daniel S. Yeung

claim paper

Read More »

16

HYBRID
1997
Springer

111views Control Systems» more HYBRID 1997»

Hybrid Systems with Finite Bisimulations

13 years 8 months ago

Hybrid Systems with Finite Bisimulations

Download www.seas.upenn.edu

Abstract. The theory of formal veriﬁcation is one of the main approaches to hybrid system analysis. Decidability questions for veriﬁcation algorithms are obtained by constructi...

Gerardo Lafferriere, George J. Pappas, Shankar Sas...

claim paper

Read More »

8

INFOCOM
1997
IEEE

66views Communications» more INFOCOM 1997»

PCUP: Pipelined Cyclic Upstream Protocol over Hybrid Fiber Coax

13 years 9 months ago

PCUP: Pipelined Cyclic Upstream Protocol over Hybrid Fiber Coax

Download speed.cis.nctu.edu.tw

Ying-Dar Jason Lin, Chia-Jen Wu, Wei-Ming Yin

claim paper

Read More »

« Prev « First page 3 / 16 Last » Next »