6315 search results - page 1066 / 1263 » Approximating Solution Structure |
132
Voted
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
Type-directed programming is an important idiom for software design. In type-directed programming the behavior of programs is guided by the type structure of data. It makes it pos...
123
Voted
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
Generic Haskell is a language extension of Haskell for polytypic programming. Constrained types are parametric algebraic types with at least one argument constrained by type-class...
101
Voted
ICWS
2009
IEEE
15 years 11 months ago
2009
IEEE
Accurate estimation of quality of online services is both an important and difficult problem, since a service has many interdependent quality attributes influenced by several co...
109
Voted
ICCD
2003
IEEE
15 years 11 months ago
2003
IEEE
Translation Look-aside Buffer (TLB), which is small Content Addressable Memory (CAM) structure used to translate virtual addresses to physical addresses, can consume significant ...
114
click to vote
ICCAD
2008
IEEE
15 years 11 months ago
2008
IEEE
— As Double Patterning Technology (DPT) becomes the only solution for 32-nm lithography process, we need to investigate how DPT affects the performance of a chip. In this paper, ...