Sciweavers

13489 search results - page 195 / 2698
» Operating System
Sort
View
ISKI
1992
15 years 10 months ago
Generic Update Operations Keeping Object-Oriented Databases Consistent
One of the objectives of ooDBMSs is to use type-speci c methods for manipulating objects, in order to maintain the consistency of the database. This is, however, little help for t...
Christian Laasch, Marc H. Scholl
TPHOL
2008
IEEE
16 years 25 days ago
Canonical Big Operators
In this paper, we present an approach to describe uniformly iterated “big” operations, like Pn i=0 f(i) or maxi∈I f(i) and to provide lemmas that encapsulate all the commonly...
Yves Bertot, Georges Gonthier, Sidi Ould Biha, Ioa...
ICC
2007
IEEE
148views Communications» more  ICC 2007»
16 years 24 days ago
Improved Revenue and Radio Resource Usage through Inter-Operator Joint Radio Resource Management
— This paper proposes a two-layer Joint Radio Resource Management (JRRM) framework to improve the efficiency in multi-radio and multi-operator cellular scenarios. On the one hand...
Lorenza Giupponi, Ramón Agustí, Jord...
APSEC
2006
IEEE
15 years 8 months ago
Using Operational Architecture to Model Embedded Software
Almost methods in embedded software modeling take software architecture as one of the crucial parts of the design process. Since a principal role of embedded software is the inter...
Sang-Uk Jeon, Jang-Eui Hong, Doo-Hwan Bae
CATA
2003
15 years 7 months ago
A Programmable Logic-Based Implementation of Ultra-Fast Parallel Binary Image Morphological Operations
Binary morphological operations are a building block in many computer vision applications. Several iterative morphological operations are commonly performed for image analysis res...
Songpol Ongwattanakul, Phaisit Chewputtanagul, Dav...