4074 search results - page 447 / 815 » Hardware Modelling and Simulation Using an Object-Oriented M... |
164
Voted
ET
1998
15 years 6 months ago
1998
Defining information required by automatic test systems frequently involves a description of system behavior. To facilitate capturing the required behavior information in the cont...
191
click to vote
SIGMETRICS
2000
ACM
15 years 6 months ago
2000
ACM
Quality of service of e-commerce sites has been usually managed by the allocation of resources such as processors, disks, and network bandwidth, and by tracking conventional perfo...
152
click to vote
MSWIM
2006
ACM
16 years 22 days ago
2006
ACM
Nowadays network bandwidth is increasing continuously for endusers and network providers. Network monitoring tools have to be able to support these high-speed networks, processing...
162
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
193
click to vote
CAV
2003
Springer
16 years 15 hour ago
2003
Springer
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...