2438 search results - page 290 / 488 » Consistent Gradient Operators |
139
click to vote
ERLANG
2003
ACM
15 years 7 months ago
2003
ACM
The viability of implementing an in-memory database, Erlang ETS, using a relatively-new data structure, called a Judy array, was studied by comparing the performance of ETS tables...
125
click to vote
LICS
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. O...
136
click to vote
FUN
2010
Springer
15 years 7 months ago
2010
Springer
We study the complexity of the popular one player combinatorial game known as Flood-It. In this game the player is given an n×n board of tiles where each tile is allocated one of ...
121
click to vote
LCPC
2009
Springer
15 years 7 months ago
2009
Springer
The advent of multicores presents a promising opportunity for exploiting fine grained parallelism present in programs. Programs parallelized in the above fashion, typically involv...
155
click to vote
ISORC
2000
IEEE
15 years 6 months ago
2000
IEEE
The Air Force has enthusiastically endorsed, at its most senior levels, advanced thinking with regard to the application of information technology. Recently, the notion of a Joint...