1724 search results - page 307 / 345 » Concurrency in the Data Warehouse |
WWW
2010
ACM
15 years 2 months ago
2010
ACM
In this paper we present a web-based framework for spatiotemporal screen real estate management of interactive public displays. The framework facilitates dynamic partitioning of t...
ENTCS
2008
15 years 2 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
151
click to vote
CL
2007
Springer
15 years 1 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
117
click to vote
JUCS
2008
15 years 1 months ago
2008
We present an algorithm that by using the and -1 Frobenius operators concurrently allows us to obtain a parallelized version of the classical -and-add scalar multiplication algor...
117
click to vote
ML
2008
ACM
15 years 1 months ago
2008
ACM
We present a way to run Objective Caml programs on a standard, unmodified web browser, with a compatible data representation and execution model, including concurrency. To achieve...