6527 search results - page 105 / 1306 » On Typing Information Flow |
WCE
2007
13 years 9 months ago
2007
—Applying nonequilibrium statistical mechanics we focus on nonequilibrium corrections Δs to entropy and energy of the fluid in terms of the nonequilibrium density distribution f...
MICRO
2012
IEEE
11 years 10 months ago
2012
IEEE
This article presents a general algorithm for transforming sequential imperative programs into parallel data-flow programs. Our algorithm operates on a program dependence graph i...
CIKM
2011
Springer
12 years 7 months ago
2011
Springer
Crowdsourcing platforms offer unprecedented opportunities for creating evaluation benchmarks, but suffer from varied output quality from crowd workers who possess different levels...
FSTTCS
2007
Springer
14 years 1 months ago
2007
Springer
Type systems for secure information flow aim to prevent a program from leaking information from variables that hold secret data to variables that hold public data. In this work we...
MKM
2007
Springer
14 years 1 months ago
2007
Springer
This paper reports on ongoing work on the project of representing the Kenzo system [15] in type theory [11].