Sciweavers

6306 search results - page 260 / 1262
» Space, Time, and the Use of Language
Sort
View
PLDI
1994
ACM
15 years 11 months ago
The Program Structure Tree: Computing Control Regions in Linear Time
In this paper, we describe the program structure tree (PST), a hierarchical representation of program structure based on single entry single exit (SESE) regions of the control flo...
Richard Johnson, David Pearson, Keshav Pingali
CAISE
2005
Springer
16 years 24 days ago
A language for modeling enterprise contextual ontologies
To achieve inter-enterprise software interoperability, the semantics of interchanged information by using electronic business documents, has to be explicitly modeled. A common appr...
María Laura Caliusco, César Maidana,...
SIGMOD
2003
ACM
146views Database» more  SIGMOD 2003»
16 years 7 months ago
Estimating Compilation Time of a Query Optimizer
A query optimizer compares alternative plans in its search space to find the best plan for a given query. Depending on the search space and the enumeration algorithm, optimizers v...
Ihab F. Ilyas, Jun Rao, Guy M. Lohman, Dengfeng Ga...
SIGMOD
1987
ACM
69views Database» more  SIGMOD 1987»
15 years 10 months ago
Extending the Relational Algebra to Support Transaction Time
In this paper we discuss extensions to the conventional relatronal algebra to support transaction time We show that these extensions are applicable to hrstorlcal algebras that sup...
L. Edwin McKenzie, Richard T. Snodgrass
ICSE
2007
IEEE-ACM
16 years 1 months ago
Languages for Safety-Critical Software: Issues and Assessment
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...
Benjamin M. Brosgol