3388 search results - page 126 / 678 » Type-theoretic design patterns |
147
click to vote
STP
1998
15 years 4 months ago
1998
The goal of this paper is to provide an architectural analysis of the existing distributed object oriented platforms. Based on a relatively small number of design patterns, our an...
205
Voted
ITC
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper describes the implementation of a test pattern language using STIL [1], the IEEE Standard Test Interface Language (1450-1999), in a next generation, open architecture A...
134
click to vote
CHI
2005
ACM
16 years 5 months ago
2005
ACM
In the research project `Reach', we investigate the potential for new forms of communication and expression to be incorporated dynamically and interactively into the things t...
126
Voted
HIPEAC
2009
Springer
15 years 12 months ago
2009
Springer
Power consumption has emerged as a key design concern across the entire computing range, from low-end embedded systems to high-end supercomputers. Understanding the power character...
134
click to vote
SMI
2008
IEEE
15 years 11 months ago
2008
IEEE
Hierarchies of patterns of features, of sub-assemblies, or of CSG sub-expressions are used in architectural and mechanical CAD to eliminate laborious repetitions from the design p...