110 search results - page 9 / 22 » An efficient verification algorithm for parallel controllers |
167
click to vote
CCGRID
2004
IEEE
15 years 8 months ago
2004
IEEE
Recently Peer-to-Peer networks (P2P) have gained great attention and popularity. One key challenging aspect in a P2P resource sharing environment is an efficient searching algorit...
131
Voted
IROS
2008
IEEE
15 years 11 months ago
2008
IEEE
— To achieve accurate and efficient interaction with humans, robot training is indispensable to make robot cooperate with different host. We are focusing on development of a huma...
155
click to vote
HYBRID
2000
Springer
15 years 8 months ago
2000
Springer
We propose a computer-aided methodology to automatically generate time optimal production schemes for chemical batch plants operating in multi-batch mode. Our approach is based on ...
142
click to vote
SPAA
2010
ACM
15 years 4 months ago
2010
ACM
We present a scheduling algorithm of stream programs for multi-core architectures called team scheduling. Compared to previous multi-core stream scheduling algorithms, team schedu...
140
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...