Sciweavers

13489 search results - page 195 / 2698
» Operating System
Sort
View
ISKI
1992
15 years 11 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 1 months 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...
203
Voted
ICC
2007
IEEE
148views Communications» more  ICC 2007»
16 years 1 months 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 8 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...