4139 search results - page 600 / 828 » Designing and Implementing Combinator Languages |
124
click to vote
ADVAI
2010
14 years 11 months ago
2010
The focus of warfare has shifted from the Industrial Age to the Information Age, as encapsulated by the term Network Enabled Capability. This emphasises information sharing, comma...
174
click to vote
LICS
2012
IEEE
13 years 7 months ago
2012
IEEE
—This paper introduces HOpiPn, the higher-order pi-calculus with passivation and name creation, and develops an equivalence theory for this calculus. Passivation [Schmitt and Ste...
167
click to vote
DAC
2008
ACM
15 years 6 months ago
2008
ACM
Clock skew scheduling has been traditionally considered as a tool for improving the clock period in a sequential circuit. Timing slack is "stolen" from fast combinationa...
234
click to vote
ICDE
2007
IEEE
16 years 5 months ago
2007
IEEE
Recently there has been increasing interest in the development of progress indicators for SQL queries. In this paper we present a lightweight online framework for this problem. Ou...
157
click to vote
SIGMOD
2004
ACM
16 years 4 months ago
2004
ACM
We present new algorithms on commodity graphics processors to perform fast computation of several common database operations. Specifically, we consider operations such as conjunct...