1930 search results - page 116 / 386 » Decentralised Control of Complex Systems |
147
Voted
CC
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We present a method of specifying standard imperative program optimisations as a rewrite system. To achieve this we have extended the idea of matching sub-terms in expres...
126
click to vote
BMCBI
2005
15 years 2 months ago
2005
Background: Analysis of inherited diseases and their associated phenotypes is of great importance to gain knowledge of underlying genetic interactions and could ultimately give cl...
129
Voted
MICRO
2010
IEEE
14 years 9 months ago
2010
IEEE
Today's transactional memory systems implement the two-phase-locking (2PL) algorithm which aborts transactions every time a conflict happens. 2PL is a simple algorithm that pr...
130
click to vote
CINQ
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Constrained graphs are directed graphs describing the control flow of processes models. In such graphs, nodes represent activities involved in the process, and edges the ...
127
click to vote
MICCAI
2006
Springer
16 years 3 months ago
2006
Springer
3D ultrasound (US) is an emerging new imaging technology that appeals to more and more applications in intraoperative guidance of computer-assisted surgery. In a freehand US imagin...