Sciweavers

2978 search results - page 419 / 596
» Operations Research
Sort
View
108
Voted
AADEBUG
1997
Springer
15 years 7 months ago
Debugging Optimised Code Using Function Interpretation
Previously the debugging of optimised code has not been possible without recompiling the executable code and preventing the use of code optimisation techniques. Although current r...
Kim Elms
153
Voted
ICFEM
1997
Springer
15 years 7 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
128
Voted
SEKE
1994
Springer
15 years 7 months ago
Rule firing with metarules
We describe a technique for the control of production rules firing in an object-oriented setting. This technique is based on the separation of control rules from ordinary domain r...
François Pachet, Jean-François Perro...
145
Voted
SIGGRAPH
1994
ACM
15 years 7 months ago
A framework for the analysis of error in global illumination algorithms
In this paper we identify sources of error in global illumination algorithms and derive bounds for each distinct category. Errors arise from three sources: inaccuracies in the bou...
James Arvo, Kenneth E. Torrance, Brian E. Smits
141
Voted
VLDB
1992
ACM
151views Database» more  VLDB 1992»
15 years 7 months ago
A Uniform Approach to Processing Temporal Queries
Research in temporal databases has mainly focused on defining temporal data models by extending existing models, and developing access structures for temporal data. Little has bee...
Umeshwar Dayal, Gene T. J. Wuu