Search Sciweavers | Sciweavers

15254 search results - page 130 / 3051

» A k

146

click to vote

DAC
1997
ACM

77views Computer Architecture» more DAC 1997»

An Efficient Implementation of Reactivity for Modeling Hardware in the Scenic Design Environment

15 years 10 months ago

Download www1.cs.columbia.edu

Stan Y. Liao, Steven W. K. Tjiang, Rajesh K. Gupta

claim paper

Read More »

126

click to vote

CAV
1997
Springer

114views Hardware» more CAV 1997»

Partial-Order Reduction in Symbolic State Space Exploration

15 years 10 months ago

Download mtc.epfl.ch

Rajeev Alur, Robert K. Brayton, Thomas A. Henzinge...

claim paper

Read More »

156

click to vote

KES
1997
Springer

111views Information Technology» more KES 1997»

Formal verification of the correctness in hybrid expert systems

15 years 10 months ago

Download www4.comp.polyu.edu.hk

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

claim paper

Read More »

click to vote

INFOCOM
1989
IEEE

50views Communications» more INFOCOM 1989»

Random Access Systems with a Time Varying Channel

15 years 10 months ago

Download cwc.ucsd.edu

Kelvin K. Y. Ho, Ramesh R. Rao, Jack K. Wolf

claim paper

Read More »

143

click to vote

DCOSS
2009
Springer

90views Distributed And Parallel Com...» more DCOSS 2009»

Efficient Sensor Placement for Surveillance Problems

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers