Sciweavers

3071 search results - page 90 / 615
» Explanatory Design Theory
Sort
View
ICSE
2008
IEEE-ACM
15 years 10 months ago
Automatic modularity conformance checking
According to Parnas's information hiding principle and Baldwin and Clark's design rule theory, the key step to decomposing a system into modules is to determine the desi...
Sunny Huynh, Yuanfang Cai, Yuanyuan Song, Kevin J....
IPL
1998
80views more  IPL 1998»
14 years 9 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»
14 years 10 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
15 years 11 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
15 years 10 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