Sciweavers

4139 search results - page 600 / 828
» Designing and Implementing Combinator Languages
Sort
View
ADVAI
2010
110views more  ADVAI 2010»
14 years 11 months ago
Using Genetic Algorithms to Represent Higher-Level Planning in Simulation Models of Conflict
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...
James Moffat, Susan Fellows
LICS
2012
IEEE
13 years 7 months ago
A Higher-Order Distributed Calculus with Name Creation
—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...
Adrien Piérard, Eijiro Sumii
DAC
2008
ACM
15 years 6 months ago
Leakage power-aware clock skew scheduling: converting stolen time into leakage power reduction
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...
Min Ni, Seda Ogrenci Memik
ICDE
2007
IEEE
113views Database» more  ICDE 2007»
16 years 5 months ago
A Lightweight Online Framework For Query Progress Indicators
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...
Chaitanya Mishra, Nick Koudas
SIGMOD
2004
ACM
166views Database» more  SIGMOD 2004»
16 years 4 months ago
Fast Computation of Database Operations using Graphics Processors
We present new algorithms on commodity graphics processors to perform fast computation of several common database operations. Specifically, we consider operations such as conjunct...
Naga K. Govindaraju, Brandon Lloyd, Wei Wang 0010,...