3979 search results - page 565 / 796 » Wild control operators |
183
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
177
click to vote
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Traditional operating systems differentiate between threads, which are managed by the kernel scheduler, and interrupt handlers, which are scheduled by the hardware. This approac...
162
click to vote
SASO
2009
IEEE
16 years 1 months ago
2009
IEEE
Swarming agents often operate in benign geographic topologies that let them explore alternative trajectories with minor variations that the agent dynamics then amplify for improve...
155
click to vote
ICETET
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper deals with the implementation of FM-ZCS-QRC fed DC servo drive using micro controller. The salient feature of QRC is that the switching devices can be either switched o...
175
click to vote
ICNP
2009
IEEE
16 years 1 months ago
2009
IEEE
— We propose a routing and load-balancing approach with the primary goal of being robust to sudden topological changes and significant traffic matrix variations. The proposed m...