7557 search results - page 538 / 1512 » Modeling Timed Concurrent Systems |
201
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— Most robotic vision algorithms are proposed by envisaging robots operating in structured environments where the world is assumed to be rigid. These algorithms fail to provide o...
216
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract. Many parallel scienti c applications have dynamic and irregular computational structure. However, most such applications exhibit persistence of computational load and com...
206
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: Gene expression microarray and other multiplex data hold promise for addressing the challenges of cellular complexity, refined diagnoses and the discovery of well-targ...
171
Voted
ICAS
2006
IEEE
16 years 1 months ago
2006
IEEE
— The development of applications that target dynamic networks often adresses the same difficulties. Since the underlying network topology is unstable, the application has to ha...
196
click to vote
IANDC
2007
15 years 7 months ago
2007
We present a model, task automata, for real time systems with non-uniformly recurring computation tasks. It is an extended version of timed automata with asynchronous processes th...