4520 search results - page 330 / 904 » Algebraic Techniques for Timed Systems |
180
click to vote
HICSS
1994
IEEE
15 years 11 months ago
1994
IEEE
This paper addresses a purely software-based solution to the multiprocessor cache coherence problem by structuring an operating system to provide for the coherence of its own data...
222
Voted
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
The paper deals with the problem of reconstructing the tree-like topological structure of a network of linear dynamical systems. A distance function is defined in order to evaluat...
147
click to vote
IAAI
1990
15 years 8 months ago
1990
Computer security auditing constitutes an important part of any organization's security procedures. Because of the many inadequacies of currently used manual methods, thoroug...
183
click to vote
EDBTW
2010
Springer
16 years 18 days ago
2010
Springer
In modern architectures based on Web Services or Cloud Computing, a very large number of user requests arrive concurrently and has to be scheduled for execution constrained by cor...
207
click to vote
MICRO
1995
IEEE
15 years 11 months ago
1995
IEEE
Accurate instruction fetch and branch prediction is increasingly important on today’s wide-issue architectures. Fetch prediction is the process of determining the next instructi...