3629 search results - page 140 / 726 » A More Efficient Use of Delta-CRLs |
162
click to vote
ADC
2004
Springer
15 years 10 months ago
2004
Springer
Most modern database applications contain a significant amount of time dependent data and a substantial proportion of this data is now-relative, i.e. current now. While much resea...
187
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...
127
click to vote
CAGD
2000
15 years 6 months ago
2000
Evaluation routines are essential for any application that uses triangular B-spline surfaces. This paper describes an algorithm to efficiently evaluate triangular B-spline surface...
141
click to vote
RT
1998
Springer
15 years 10 months ago
1998
Springer
We describe an efficient approach to rendering a perspectively correct image on a potentially irregular display surface that may be illuminated with one or more distinct devices. T...
156
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
We present an efficient framework for dynamic reconfiguration of application-specific custom instructions. A key component of this framework is an iterative algorithm for temporal...