Sciweavers

196 search results - page 27 / 40
» concurrency 1998
Sort
View
TCS
1998
13 years 9 months ago
Algebraic Translations, Correctness and Algebraic Compiler Construction
Algebraic translation methods are argued for in many fields of science. Several examples will be considered: from the field of compiler construction, database updates, concurren...
Theo M. V. Janssen
TCS
1998
13 years 9 months ago
ERCW PRAMs and Optical Communication
This paper presents algorithms and lower bounds for several fundamental problems on the Exclusive Read, Concurrent Write Parallel Random Access Machine (ERCW PRAM) and some result...
Philip D. MacKenzie, Vijaya Ramachandran
FTCS
1998
79views more  FTCS 1998»
13 years 11 months ago
Proving Correctness of a Controller Algorithm for the RAID Level 5 System
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing
IWMMDBMS
1998
92views more  IWMMDBMS 1998»
13 years 11 months ago
Version Management and Recoverability for Large Object Data
Most applications that access large data objects do so through file systems, but file systems provide an incomplete solution, as they maintain insufficient metadata and do not pro...
Randal C. Burns, Inderpal Narang
STANDARDVIEW
1998
80views more  STANDARDVIEW 1998»
13 years 9 months ago
An overview of the CORBA portable object adapter
An Object Adapter is an integral part of the Common Object Request Broker Architecture (CORBA). An Object Adapter assists an Object Request Broker (ORB) in delivering client reque...
Irfan Pyarali, Douglas C. Schmidt