Sciweavers

11345 search results - page 15 / 2269
» Foundations of Computer Science
Sort
View
CIE
2008
Springer
13 years 9 months ago
Interpreting Localized Computational Effects Using Operators of Higher Type
d abstract) John Longley Laboratory for Foundations of Computer Science School of Informatics, University of Edinburgh The King's Buildings, Mayfield Road Edinburgh EH9 3JZ, U...
John Longley
STOC
1997
ACM
257views Algorithms» more  STOC 1997»
13 years 12 months ago
Practical Loss-Resilient Codes
We present randomized constructions of linear-time encodable and decodable codes that can transmit over lossy channels at rates extremely close to capacity. The encoding and decod...
Michael Luby, Michael Mitzenmacher, Mohammad Amin ...
TOPLAS
2010
93views more  TOPLAS 2010»
13 years 6 months ago
Semantics of fractional permissions with nesting
Fractional permissions use fractions to distinguish write access (1) from read access (any smaller fraction). Nesting (an extension of adoption) can be used to model object invari...
John Tang Boyland
FGCS
2006
55views more  FGCS 2006»
13 years 7 months ago
Simulating and visualizing the human arterial system on the TeraGrid
We present a Grid solution to a grand challenge problem, the simulation and visualization of the human arterial system. We implemented our simulation and visualization system on t...
Suchuan Dong, Joseph A. Insley, Nicholas T. Karoni...
ITICSE
2004
ACM
14 years 1 months ago
An assistive technology project for an HCI course
This presentation describes a project for a standard undergraduate human-computer interaction (HCI) course that incorporates issues related to users who are disabled. It is part o...
Blaise W. Liffick