7557 search results - page 1409 / 1512 » Modeling Timed Concurrent Systems |
109
click to vote
ISCA
1997
IEEE
15 years 5 months ago
1997
IEEE
As processor architectures have increased their reliance on speculative execution to improve performance, the importance of accurate prediction of what to execute speculatively ha...
151
click to vote
HPDC
1996
IEEE
15 years 5 months ago
1996
IEEE
Load balancing involves assigning to each processor, work proportional to its performance, minimizing the execution time of the program. Althoughstatic load balancing can solve ma...
133
click to vote
ESORICS
1994
Springer
15 years 5 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
107
click to vote
VLDB
1994
ACM
15 years 5 months ago
1994
ACM
Object-oriented database OODB users bring with them large quantities of legacy data megabytes and even gigabytes. In addition, scienti c OODB users continually generate new data. ...
COMPGEOM
1990
ACM
15 years 5 months ago
1990
ACM
Practical solid modeling systems are plagued by numerical problems that arise from using oatingpoint arithmetic. For example, polyhedral solids are often represented by a combinat...