Sciweavers

3825 search results - page 497 / 765
» Selective Value Prediction
Sort
View
OOPSLA
1990
Springer
15 years 10 months ago
A Framework for Visualizing Object-Oriented Systems
This paper describes a new approach to visualizing program systems within the object-oriented paradigm. This approach is based on a TEX-like notation which has been extended and g...
Volker Haarslev, Ralf Möller
ECRTS
2007
IEEE
15 years 10 months ago
The Space of EDF Feasible Deadlines
It is well known that the performance of computer controlled systems is heavily affected by delays and jitter occurring in the control loops, which are mainly caused by the interf...
Enrico Bini, Giorgio C. Buttazzo
FC
2007
Springer
147views Cryptology» more  FC 2007»
15 years 10 months ago
Certificate Revocation Using Fine Grained Certificate Space Partitioning
A new certificate revocation system is presented. The basic idea is to divide the certificate space into several partitions, the number of partitions being dependent on the PKI en...
Vipul Goyal
FMICS
2007
Springer
15 years 10 months ago
Model Classifications and Automated Verification
Due to the significant progress in automated verification, there are often several techniques for a particular verification problem. In many circumstances different techniques are ...
Radek Pelánek
GLOBECOM
2007
IEEE
15 years 10 months ago
OFDMA Downlink Resource Allocation for Ergodic Capacity Maximization with Imperfect Channel Knowledge
In this paper, we derive an optimal resource allocation algorithm for ergodic weighted-sum capacity maximization in OFDMA systems assuming the availability of only partial (imperfe...
Ian C. Wong, Brian L. Evans