Sciweavers

2655 search results - page 220 / 531
» Event Systems and Access Control
Sort
View
ESOP
2003
Springer
15 years 11 months ago
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
Karine Altisen, Aurélie Clodic, Florence Ma...
ASPDAC
2007
ACM
130views Hardware» more  ASPDAC 2007»
15 years 10 months ago
A Precise Bandwidth Control Arbitration Algorithm for Hard Real-Time SoC Buses
On an SoC bus, contentions occur while different IP cores request the bus access at the same time. Hence an arbiter is mandatory to deal with the contention issue on a shared bus s...
Bu-Ching Lin, Geeng-Wei Lee, Juinn-Dar Huang, Jing...
CCS
2010
ACM
15 years 6 months ago
Predictive black-box mitigation of timing channels
We investigate techniques for general black-box mitigation of timing channels. The source of events is wrapped by a timing mitigator that delays output events so that they contain...
Aslan Askarov, Danfeng Zhang, Andrew C. Myers
ICDM2
2004
Springer
196views Data Mining» more  ICDM2 2004»
15 years 12 months ago
An Early Warning System for Vehicle Related Quality Data
Vehicle production audit tests, warranty claims and car control unit data are stored in a central data warehouse for data mining analysis. Neural network based part failure rate es...
Matthias Grabert, Markus Prechtel, Tomas Hrycej, W...
SOSP
2007
ACM
16 years 3 months ago
Information flow control for standard OS abstractions
ion Flow Control for Standard OS Abstractions Maxwell Krohn Alexander Yip Micah Brodsky Natan Cliffer M. Frans Kaashoek Eddie Kohler† Robert Morris MIT CSAIL †UCLA http://flum...
Maxwell N. Krohn, Alexander Yip, Micah Z. Brodsky,...