1982 search results - page 148 / 397 » Parametricity and dependent types |
151
click to vote
PLDI
2006
ACM
16 years 17 days ago
2006
ACM
Dependence graphs and memoization can be used to efficiently update the output of a program as the input changes dynamically. Recent work has studied techniques for combining the...
171
click to vote
SIGIR
2005
ACM
16 years 5 days ago
2005
ACM
In this paper, we propose a novel dependency language modeling approach for information retrieval. The approach extends the existing language modeling approach by relaxing the ind...
157
click to vote
ADC
2004
Springer
16 years 15 hour ago
2004
Springer
Workflow technology has met with success in a variety of industries, although several limitations have emerged. One such drawback is the inflexibility of specification languages, ...
154
click to vote
WCRE
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we describe our approach to reconstructing the software architecture of J2EE web applications. We use the Siemens Four Views approach, separating the architecture in...
210
click to vote
HPCA
1995
IEEE
15 years 10 months ago
1995
IEEE
The throughput of a multiple-pipelined processor suffers due to lack of sufficient instructions to make multiple pipelines busy and due to delays associated with pipeline depende...