Sciweavers

3394 search results - page 222 / 679
» Regular Object Types
Sort
View
VLDB
1987
ACM
75views Database» more  VLDB 1987»
15 years 10 months ago
The POSTGRES Data Model
The design of the POSTGRES data model is described. The data model is a relational model that has been extended with abstract data types including user-defined operators and proce...
Lawrence A. Rowe, Michael Stonebraker
OOPSLA
2009
Springer
16 years 1 months ago
Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations
An object diagram makes explicit the object structures that are only implicit in a class diagram. An object diagram may be missing and must extracted from the code. Alternatively,...
Marwan Abi-Antoun, Jonathan Aldrich
POPL
2010
ACM
16 years 3 months ago
Pure Subtype Systems
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...
DeLesley S. Hutchins
CONCUR
2001
Springer
15 years 11 months ago
The Control of Synchronous Systems, Part II
Abstract. A controller is an environment for a system that achieves a particular control objective by providing inputs to the system without constraining the choices of the system....
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. ...
ICIP
2004
IEEE
16 years 8 months ago
Simplified digital holographic reconstruction using statistical methods
For reconstructing a complex object wavefront from digital holograms, we propose a new penalized-likelihood approach based on the measurement statistics and edge-preserving regula...
Jeffrey A. Fessler, Saowapak Sotthivirat