446 search results - page 70 / 90 » Modal Logics for Timed Control |
120
Voted
VLSID
2005
IEEE
15 years 7 months ago
2005
IEEE
During pseudorandom testing, a significant amount of energy and test application time is wasted for generating and for applying “useless” test vectors that do not contribute t...
118
click to vote
ERSA
2004
15 years 3 months ago
2004
Modern reconfigurable computing systems feature powerful hybrid architectures with multiple microprocessor cores, large reconfigurable logic arrays and distributed memory hierarch...
119
Voted
BIRTHDAY
2006
Springer
15 years 5 months ago
2006
Springer
Robots are autonomous agents whose actions are performed in the real world during a period of time. There are a number of general constraints on such actions, for example that the ...
142
Voted
CASES
2005
ACM
15 years 3 months ago
2005
ACM
Instruction set customization accelerates the performance of applications by compressing the length of critical dependence paths and reducing the demands on processor resources. W...
103
Voted
LCN
2007
IEEE
15 years 8 months ago
2007
IEEE
— GRSB - Guaranteed, Reliable, Secure Broadcast - is a protocol that provides reliable and secure broadcast / multicast communications [1,2]. It can be implemented in many types ...