Sciweavers

2148 search results - page 101 / 430
» Responsiveness in Process Calculi
Sort
View
SP
2010
IEEE
210views Security Privacy» more  SP 2010»
15 years 8 months ago
Reconciling Belief and Vulnerability in Information Flow
Abstract—Belief and vulnerability have been proposed recently to quantify information flow in security systems. Both concepts stand as alternatives to the traditional approaches...
Sardaouna Hamadou, Vladimiro Sassone, Catuscia Pal...
136
Voted
CORR
2010
Springer
156views Education» more  CORR 2010»
15 years 4 months ago
On CSP and the Algebraic Theory of Effects
We consider CSP from the point of view of the algebraic theory of effects, which classifies operations as effect constructors and effect deconstructors; it also provides a link wit...
Rob J. van Glabbeek, Gordon D. Plotkin
SIGMETRICS
2010
ACM
160views Hardware» more  SIGMETRICS 2010»
15 years 9 months ago
RSIO: automatic user interaction detection and scheduling
We present RSIO, a processor scheduling framework for improving the response time of latency-sensitive applications by monitoring accesses to I/O channels and inferring when user ...
Haoqiang Zheng, Jason Nieh
ISLPED
1996
ACM
93views Hardware» more  ISLPED 1996»
15 years 8 months ago
250-600 Mhz 12b digital filters in 0.8-0.25um Bulk and SOI CMOS technologies
This paper describes a family of high-speed Finite Impulse Response (FIR) digital filters that have been scaled across three generations of CMOS processes. The processes include c...
Lars E. Thon, Ghavam G. Shahidi, Werner Rausch, Ge...
ICIP
2006
IEEE
16 years 5 months ago
Anisotropic Gaussian Filtering using Fixed Point Arithmetic
Gaussian filtering in one, two or three dimensions is among the most commonly needed tasks in signal and image processing. Finite impulse response filters in the time domain with ...
Christoph H. Lampert, Oliver Wirjadi