3458 search results - page 500 / 692 » Abstracting Control |
134
click to vote
FOSSACS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this work, we introduce the class of Interrupt Timed Automata (ITA), which are well suited to the description of multi-task systems with interruptions in a single proc...
142
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
127
click to vote
CSE
2009
IEEE
15 years 11 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...
124
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Networks-on-chip (NoC) for general-purpose multiprocessors require quality of service mechanisms to allow realtime streaming applications to be executed along with laten...
123
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Flash memory is a good candidate for the storage device in real-time systems due to its non-fluctuating performance, low power consumption and high shock resistance. Ho...