2850 search results - page 448 / 570 » On Timed Models and Full Abstraction |
100
Voted
APSCC
2007
IEEE
15 years 29 days ago
2007
IEEE
Abstract— In this paper, we address the problem of lifetime optimization under storage constraint for wireless sensor networks with a mobile sink node. The problem is particularl...
119
click to vote
CLEIEJ
2007
15 years 24 days ago
2007
Abstract. This paper present a new approach for the analysis of gene expression, by extracting a Markov Chain from trained Recurrent Neural Networks (RNNs). A lot of microarray dat...
98
Voted
TAP
2008
Springer
15 years 21 days ago
2008
Springer
Abstract. In recent years, we see a growing awareness to the importance of assessing the quality of specifications. In the context of model checking, this can be done by analyzing ...
110
Voted
TWC
2008
15 years 20 days ago
2008
Abstract--In this paper, the flow-level performance of opportunistic scheduling in orthogonal frequency division multiplexing (OFDM) networks is studied. The analysis accounts for ...
124
click to vote
CORR
2004
Springer
15 years 19 days ago
2004
Springer
Abstract -- The development of cost-effective highperformance parallel computing on multi-processor supercomputers makes it attractive to port excessively time consuming simulation...