Sciweavers

2144 search results - page 286 / 429
» Exact Flow Analysis
Sort
View
CORR
2010
Springer
64views Education» more  CORR 2010»
15 years 3 months ago
Dual Formulations of Mixed Finite Element Methods
Mixed finite element methods solve a PDE using two or more variables. The theory of Discrete Exterior Calculus explains why the degrees of freedom associated to the different varia...
Andrew Gillette, Chandrajit L. Bajaj
CORR
2010
Springer
96views Education» more  CORR 2010»
15 years 1 months ago
Quantifying Information Leakage in Finite Order Deterministic Programs
Information flow analysis is a powerful technique for reasoning about the sensitive information exposed by a program during its execution. While past work has proposed information...
Ji Zhu, Mudhakar Srivatsa
SIGMETRICS
2010
ACM
115views Hardware» more  SIGMETRICS 2010»
15 years 23 days ago
The average response time in a heavy-traffic srpt queue
Shortest Remaining Processing Time first (SRPT) has long been known to optimize the queue length distribution and the mean response time (a.k.a. flow time, sojourn time). As such,...
Minghong Lin, Adam Wierman, Bert Zwart
RAID
1999
Springer
15 years 10 months ago
Towards trapping wily intruders in the large
The rapid increase in network bandwidth from mega bits per second to giga bits per second and potentially to tera bits per second, is making it increasingly difficult to carry out...
Glenn Mansfield
PVLDB
2010
111views more  PVLDB 2010»
15 years 24 days ago
Net-Fli: On-the-fly Compression, Archiving and Indexing of Streaming Network Traffic
The ever-increasing number of intrusions in public and commercial networks has created the need for high-speed archival solutions that continuously store streaming network data to...
Francesco Fusco, Marc Ph. Stoecklin, Michail Vlach...