Search Sciweavers | Sciweavers

7827 search results - page 26 / 1566

» time 2007

122

click to vote

FORTE
1994

98views Formal Methods» more FORTE 1994»

Verifying timing properties of concurrent algorithms

15 years 6 months ago

Download groups.csail.mit.edu

Victor Luchangco, Ekrem Söylemez, Stephen J. ...

claim paper

Read More »

121

click to vote

IJCAI
1993

109views Artificial Intelligence» more IJCAI 1993»

Logical Specification of Real-Time Granular Systems in an Object Oriented Language

15 years 6 months ago

Download ijcai.org

Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migl...

claim paper

Read More »

115

click to vote

BIOINFORMATICS
2007

100views more BIOINFORMATICS 2007»

Boolean dynamics of genetic regulatory networks inferred from microarray time series data

15 years 5 months ago

Download www.cs.sandia.gov

Shawn Martin, Zhaoduo Zhang, Anthony Martino, Jean...

claim paper

Read More »

107

click to vote

JISE
2007

51views more JISE 2007»

Multi-hop Time Synchronization Protocol for IEEE 802.11 Wireless Ad Hoc Networks

15 years 5 months ago

Download www.iis.sinica.edu.tw

Guan-Nan Chen, Chiung-Ying Wang, Ren-Hung Hwang

claim paper

Read More »

105

click to vote

JISE
2007

64views more JISE 2007»

Design of a Reliable Real-Time Scheduling Policy for Dual-Channel Networks

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers