4629 search results - page 233 / 926 » Space Kernel Analysis |
152
click to vote
ICDCS
2007
IEEE
16 years 24 days ago
2007
IEEE
We consider a problem that arises during the propagation of subscriptions in a contentbased publish-subscribe system. Subscription covering is a promising optimization that reduce...
205
click to vote
FDL
2006
IEEE
16 years 16 days ago
2006
IEEE
In the last few years the embedded systems design discipline required new design methodologies and new specification languages to support system engineers in developing heterogen...
185
click to vote
DSRT
2005
IEEE
16 years 3 days ago
2005
IEEE
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
162
click to vote
ANSS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a simulation performance improvement of the application of the Multicomponent Discrete Time System Specification (MultiDTSS) formalism to a fire spread. Multic...
187
click to vote
RSP
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we propose the novel concept of probabilistic design for multimedia systems and a methodology to quickly explore such design space at an early design stage. The pro...