Sciweavers

3444 search results - page 167 / 689
» A Theory of Object-Oriented Design
Sort
View
IPL
1998
80views more  IPL 1998»
15 years 5 months ago
The Economics of Large-Memory Computations
We propose, and justify, an economic theory to guide memory system design, operation, and analysis. Our theory treats memory random-access latency, and its cost per installed mega...
Clark D. Thomborson
JIIS
2008
104views more  JIIS 2008»
15 years 6 months ago
A framework for checking proofs naturally
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
Masahiko Sato
DAC
2006
ACM
16 years 7 months ago
Synthesis of synchronous elastic architectures
A simple protocol for latency-insensitive design is presented. The main features of the protocol are the efficient implementation of elastic communication channels and the automat...
Jordi Cortadella, Michael Kishinevsky, Bill Grundm...
CHI
2009
ACM
16 years 6 months ago
Material awareness: promoting reflection on everyday materiality
Drawing on existing design approaches, this paper argues for the experiential desirability and critical importance--in terms of environmental sustainability-of designing for refle...
James Pierce
TEI
2010
ACM
150views Hardware» more  TEI 2010»
16 years 1 months ago
The representation and control of time in tangible user interfaces: (summary of PhD research)
This paper summarises the author’s PhD research on the representation and control of time in tangible user interfaces. The aim of the research is to create a theoretical framewo...
Peter Bennett