Sciweavers

7827 search results - page 26 / 1566
» time 2007
Sort
View
FORTE
1994
15 years 1 months ago
Verifying timing properties of concurrent algorithms
Victor Luchangco, Ekrem Söylemez, Stephen J. ...
IJCAI
1993
15 years 1 months ago
Logical Specification of Real-Time Granular Systems in an Object Oriented Language
Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migl...
BIOINFORMATICS
2007
100views more  BIOINFORMATICS 2007»
14 years 12 months ago
Boolean dynamics of genetic regulatory networks inferred from microarray time series data
Shawn Martin, Zhaoduo Zhang, Anthony Martino, Jean...
JISE
2007
51views more  JISE 2007»
14 years 11 months ago
Multi-hop Time Synchronization Protocol for IEEE 802.11 Wireless Ad Hoc Networks
Guan-Nan Chen, Chiung-Ying Wang, Ren-Hung Hwang
JISE
2007
64views more  JISE 2007»
14 years 11 months ago
Design of a Reliable Real-Time Scheduling Policy for Dual-Channel Networks
Junghoon Lee, Mikyung Kang, Gyung-Leen Park, Sung ...