2838 search results - page 332 / 568 » Verifying Controlled Components |
95
Voted
CSE
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Extensive work has been devoted to private information retrieval and privacy preserving data mining. To protect user privacy from search engines, however, most current a...
81
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
A new approach in hierarchical optimisation is presented which is capable of optimising both the performance and yield of an analogue design. Performance and yield trade offs are ...
79
Voted
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
How to efficiently and fairly allocate data rate among different users is a key problem in the field of multiuser multimedia communication. However, most of the existing optimiz...
123
Voted
SEUS
2009
IEEE
15 years 7 months ago
2009
IEEE
Many special-purpose embedded systems such as automobiles and aircrafts consist of multiple embedded controllers connected through embedded network interconnects. Such network inte...
105
Voted
KBSE
2009
IEEE
15 years 7 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...