Sciweavers

10916 search results - page 70 / 2184
» On Constructive Connectives and Systems
Sort
View
FUIN
2002
90views more  FUIN 2002»
14 years 9 months ago
A Direct Construction of a Universal P System
We present a direct universal P system based on splicing. Our approach differs from those shown in previous papers as the P system we construct takes as input an encoding of anothe...
Pierluigi Frisco, Hendrik Jan Hoogeboom, Paul Sant
CORR
2011
Springer
159views Education» more  CORR 2011»
14 years 5 months ago
Scalable constructions of fractional repetition codes in distributed storage systems
Abstract—In distributed storage systems built using commodity hardware, it is necessary to store multiple replicas of every data chunk in order to ensure system reliability. In s...
Joseph C. Koo, John T. Gill III
CAPTECH
1998
Springer
15 years 2 months ago
VideoVR: A Real-Time System for Automatically Constructing Panoramic Images from Video Clips
An authoring system is proposed to construct panoramic images of real-world scenes from video clips automatically. Instead of using special hardware such as fish-eye lens, our meth...
Ding-Yun Chen, Murphy Chien-Chang Ho, Ming Ouhyoun...
FORTE
1993
14 years 11 months ago
Incremental Construction Approach for Distributed System Specifications
In this paper, we propose an incremental construction approach for distributed system specifications. These specifications are structured as a parallel composition of subsystem sp...
Ferhat Khendek, Gregor von Bochmann
ICDCS
1990
IEEE
15 years 2 months ago
A Constructive Approach to the Design of Distributed Systems
The underlying model of distributed systems is that of loosely coupled components r running in parallel and communicating by message passing. Description, construction and evoluti...
Jeff Kramer, Jeff Magee, Anthony Finkelstein