Sciweavers

3432 search results - page 482 / 687
» Language as a Complex Adaptive System
Sort
View
ASPLOS
2009
ACM
16 years 6 months ago
QR decomposition on GPUs
QR decomposition is a computationally intensive linear algebra operation that factors a matrix A into the product of a unitary matrix Q and upper triangular matrix R. Adaptive sys...
Andrew Kerr, Dan Campbell, Mark Richards
SADFE
2008
IEEE
15 years 12 months ago
Finding the Evidence in Tamper-Evident Logs
Secure logs are powerful tools for building systems that must resist forgery, prove temporal relationships, and stand up to forensic scrutiny. The proofs of order and integrity en...
Daniel Sandler, Kyle Derr, Scott A. Crosby, Dan S....
AGILE
2008
Springer
142views GIS» more  AGILE 2008»
15 years 12 months ago
GeoSR: Geographically Explore Semantic Relations in World Knowledge
Methods to determine the semantic relatedness (SR) value between two lexically expressed entities abound in the field of natural language processing (NLP). The goal of such efforts...
Brent Hecht, Martin Raubal
152
Voted
CONCUR
2007
Springer
15 years 11 months ago
Fair Cooperative Multithreading
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
Gérard Boudol
PEPM
2007
ACM
15 years 11 months ago
Partial evaluation of Maple
Having been convinced of the potential benefits of partial evaluation, we wanted to conduct some experiments in our favourite Computer Algebra System, Maple. Maple is a large lan...
Jacques Carette, Michael Kucera