Sciweavers

368 search results - page 2 / 74
» Synthesis of Non-Interferent Timed Systems
Sort
View
TSE
2010
120views more  TSE 2010»
13 years 3 months ago
Time and Probability-Based Information Flow Analysis
Abstract—In multilevel systems it is important to avoid unwanted indirect information flow from higher levels to lower levels, namely the so called covert channels. Initial stud...
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo...
ENTCS
2006
145views more  ENTCS 2006»
13 years 5 months ago
A Classification of Time and/or Probability Dependent Security Properties
In multilevel systems it is important to avoid unwanted indirect information flow from higher levels to lower levels, namely the so called covert channels. Initial studnformation ...
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo...
ACL
2012
11 years 7 months ago
INPRO_iSS: A Component for Just-In-Time Incremental Speech Synthesis
We present a component for incremental speech synthesis (iSS) and a set of applications that demonstrate its capabilities. This component can be used to increase the responsivity ...
Timo Baumann, David Schlangen
ERSA
2009
129views Hardware» more  ERSA 2009»
13 years 3 months ago
Data path Configuration Time Reduction for Run-time Reconfigurable Systems
- The FPGA (re)configuration is a time-consuming process and a bottleneck in FPGA-based Run-Time Reconfigurable (RTR) systems. In this paper, we present a High Level Synthesis (HLS...
Mahmood Fazlali, Ali Zakerolhosseini, Mojtaba Sabe...
ISSS
1999
IEEE
112views Hardware» more  ISSS 1999»
13 years 9 months ago
Middleware Techniques and Optimizations for Real-Time, Embedded Systems
ended tutorial abstract appeared in the Proceedings of the 12th International Symposium On System Synthesis, IEEE, San Jose, CA, USA November, 11, 1999.
Douglas C. Schmidt