16159 search results - page 2577 / 3232 » Parallel computing with CUDA |
147
click to vote
CONCUR
2005
Springer
16 years 21 days ago
2005
Springer
In this paper we use the timed modal logic Lν to specify control objectives for timed plants. We show that the control problem for a large class of objectives can be reduced to a ...
191
click to vote
CONCUR
2005
Springer
16 years 21 days ago
2005
Springer
We propose a compositional approach to the dynamics of gene regulatory networks based on the stochastic π-calculus, and develop a representation of gene network elements which can...
175
click to vote
CONCUR
2005
Springer
16 years 21 days ago
2005
Springer
Research on the automatic analysis of cryptographic protocols has so far mainly concentrated on reachability properties, such as secrecy and authentication. Only recently it was sh...
220
click to vote
CONCUR
2005
Springer
16 years 21 days ago
2005
Springer
The context of this study is timed temporal logics for timed automata. In this paper, we propose an extension of the classical logic TCTL with a new Until modality, called “Until...
177
click to vote
DCOSS
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. Many sensor network applications demand tightly-bounded object detection quality. To meet such stringent requirements, we develop three sensing scheduling protocols to gu...