Sciweavers

2689 search results - page 185 / 538
» ParalleX: A Study of A New Parallel Computation Model
Sort
View
CALCO
2011
Springer
225views Mathematics» more  CALCO 2011»
14 years 6 months ago
Linearly-Used State in Models of Call-by-Value
Abstract. We investigate the phenomenon that every monad is a linear state monad. We do this by studying a fully-complete state-passing translation from an impure call-by-value lan...
Rasmus Ejlers Møgelberg, Sam Staton
BMCBI
2007
152views more  BMCBI 2007»
15 years 6 months ago
Recodon: Coalescent simulation of coding DNA sequences with recombination, migration and demography
Background: Coalescent simulations have proven very useful in many population genetics studies. In order to arrive to meaningful conclusions, it is important that these simulation...
Miguel Arenas, David Posada
COCO
2003
Springer
118views Algorithms» more  COCO 2003»
15 years 12 months ago
Lower bounds for predecessor searching in the cell probe model
We consider a fundamental problem in data structures, static predecessor searching: Given a subset S of size n from the universe [m], store S so that queries of the form “What i...
Pranab Sen
IPPS
1994
IEEE
15 years 10 months ago
Efficient Matrix Chain Ordering in Polylog Time
The matrix chain ordering problem is to find the cheapest way to multiply a chain of n matrices, where the matrices are pairwise compatible but of varying dimensions. Here we give ...
Phillip G. Bradford, Gregory J. E. Rawlins, Gregor...
AUSFORENSICS
2003
15 years 8 months ago
Incident Management and Incident Response: The Case of Sweden
This paper reports from an ongoing field study of police practice in Sweden. The field study consists of direct observations and conversational interviews. The paper discusses cur...
Urban Nuldén