Sciweavers

415 search results - page 11 / 83
» time 1994
Sort
View
PLDI
1994
ACM
14 years 1 months ago
Optimizing Dynamically-Dispatched Calls with Run-Time Type Feedback
: Object-oriented programs are difficult to optimize because they execute many dynamically-dispatched calls. These calls cannot easily be eliminated because the compiler does not k...
Urs Hölzle, David Ungar
TIME
1994
IEEE
14 years 1 months ago
Hypothetical Reasoning from Situation Calculus to Event Calculus
Pinto and Reiter have argued that the Situation Calculus, improved with time handling axioms, subsumes the features of linear time temporal formalisms such as Event Calculus and I...
Alessandro Provetti
TIME
1994
IEEE
14 years 1 months ago
A Temporal Structure that Distinguishes between the Past, Present, and Future
We present a two dimensional temporal structure that has an ever changing present. Relative to each present, there is a past and future. The main representational advantage our tw...
André Trudel
SSDBM
1994
IEEE
153views Database» more  SSDBM 1994»
14 years 1 months ago
An Object-Oriented Data Model for a Time Series Management System
The analysis of time series is a central issue in economic research and many other scientific applications. However, the data management functionality for this field is not provid...
Werner Dreyer, Angelika Kotz Dittrich, Duri Schmid...
DAC
1994
ACM
14 years 1 months ago
Software Scheduling in the Co-Synthesis of Reactive Real-Time Systems
Existing software scheduling techniques limit the functions that can be implemented in software to those with a restricted class of timing constraints, in particular those with a c...
Pai H. Chou, Gaetano Borriello