246 search results - page 38 / 50 » A Process Algebra for Real-Time Programs |
POPL
2012
ACM
13 years 5 months ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
CONCURRENCY
2006
14 years 9 months ago
2006
e a set of very distinctive abstractions that result in significant modifications of the basic workflow model as outlined in pre-existing workflow model, see [2] for example. In pa...
ICFP
2001
ACM
15 years 9 months ago
2001
ACM
Lula is a system for computer-assisted stage lighting design and control. Whereas other systems for the same purpose are usually the results of long chains of incremental improvem...
186
Voted
ASPLOS
2009
ACM
15 years 10 months ago
2009
ACM
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...
114
Voted
JMLR
2012
12 years 12 months ago
2012
In this paper, we propose a novel formulation of the network clique detection problem by introducing a general network data representation framework. We show connections between o...