✦ LIBER ✦

A tool for static detection of timing channels in Java

✍ Scribed by Alexander Lux; Artem Starostin

Book ID: 107702289
Publisher: Springer-Verlag
Year: 2011
Tongue: English
Weight: 594 KB
Volume: 1
Category: Article
ISSN: 2190-8508
DOI: 10.1007/s13389-011-0021-z

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Detection of Offset QPSK with Orthogonal

Detection of Offset QPSK with Orthogonal Space-Time Block Codes over a Static Channel

✍ Nelson, Tom; Rice, Michael 📂 Article 📅 2010 🏛 IEEE 🌐 English ⚖ 225 KB

A Tool for the Syntactic Detection of Ze

A Tool for the Syntactic Detection of Zeno-timelocks in Timed Automata

✍ Howard Bowman; Rodolfo Gomez; Li Su 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 385 KB

A simulation tool for high data-rate aco

A simulation tool for high data-rate acoustic communication in a shallow-water, time-varying channel

✍ Bjerrum-Niese, C.; Bjorno, L.; Pinto, M.A.; Quellec, B. 📂 Article 📅 1996 🏛 IEEE 🌐 English ⚖ 717 KB

Sigseg: a tool for the detection of posi

Sigseg: a tool for the detection of position and velocity discontinuities in geodetic time-series

✍ Alfonso Vitti 📂 Article 📅 2012 🏛 Springer-Verlag 🌐 English ⚖ 358 KB

UPC-CHECK: a scalable tool for detecting

UPC-CHECK: a scalable tool for detecting run-time errors in Unified Parallel C

✍ Coyle, James; Roy, Indranil; Kraeva, Marina; Luecke, Glenn R. 📂 Article 📅 2012 🏛 Springer-Verlag 🌐 German ⚖ 344 KB

A new algorithm for the detection of too

A new algorithm for the detection of tool breakage in milling

✍ Jose C. Principe; Taehwan Yoon 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 657 KB

this paper a novel signal processing algorithm is presented for the detection of tool breakage using the displacement signal (RORPA). The algorithm extracts information from consecutive revolutions to decrease dependencies on runout conditions and idle noise, creating a much more robust signal for t