3388 search results - page 112 / 678 » Type-theoretic design patterns |
149
click to vote
ADAEUROPE
2010
Springer
15 years 3 months ago
2010
Springer
Real-Time (RT) systems exhibit specific characteristics that make them particularly sensitive to architectural decissions. Design patterns help integrating the desired timing behav...
125
click to vote
CIDR
2009
15 years 6 months ago
2009
Does the advent of flash devices constitute a radical change for secondary storage? How should database systems adapt to this new form of secondary storage? Before we can answer t...
141
click to vote
CHI
2005
ACM
16 years 5 months ago
2005
ACM
This paper describes a new collaboration technology that is based on the support of lightweight, informally structured, opportunistic activities featuring heterogeneous threads of...
161
click to vote
ISPD
2010
ACM
15 years 12 months ago
2010
ACM
Double Patterning Lithography (DPL) is one of the few hopeful candidate solutions for the lithography for CMOS process beyond 45nm. DPL assigns the patterns less than a certain di...
134
Voted
EKAW
2008
Springer
15 years 6 months ago
2008
Springer
The design of Adaptive Hypermedia is a difficult task which can be made easier if generic systems and AH creators' models are reused. We address this design problem in the set...