Sciweavers

1043 search results - page 72 / 209
» Reading, Writing and Relations
Sort
View
EUROPAR
2007
Springer
16 years 15 days ago
A Search Engine Accepting On-Line Updates
We describe and evaluate the performance of a parallel search engine that is able to cope efficiently with concurrent read/write operations. Read operations come in the usual form ...
Mauricio Marín, Carolina Bonacic, Veronica ...
FMCAD
2007
Springer
16 years 15 days ago
Two-Dimensional Regular Expressions for Compositional Bus Protocols
—Bus and interconnect protocols contain a few core operations (such as read and write transfers) whose behaviors interleave to form complex executions. Specifications of the cor...
Kathi Fisler
SSS
2007
Springer
117views Control Systems» more  SSS 2007»
16 years 14 days ago
Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model
In this paper, we concentrate on distributed algorithms for automated synthesis of fault-tolerant programs in the high atomicity model, where all processes can read and write all p...
Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abu...
IPPS
2006
IEEE
16 years 11 days ago
A design environment for mobile applications
In this paper we show how high-level UML models of mobile computing applications can be analysed for classical performance measures such as throughput. The approach proceeds by co...
Stephen Gilmore, Valentin Haenel, Jane Hillston, J...
ACSD
2005
IEEE
169views Hardware» more  ACSD 2005»
15 years 12 months ago
Automating Synthesis of Asynchronous Communication Mechanisms
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed processes in digital systems. In previous work, syst...
Jordi Cortadella, Kyller Costa Gorgônio, Fei...