6014 search results - page 1115 / 1203 » Parametric Analysis of Computer Systems |
175
click to vote
IEEEPACT
2008
IEEE
16 years 18 days ago
2008
IEEE
One of the essential features in modern computer systems is context switching, which allows multiple threads of execution to time-share a limited number of processors. While very ...
201
click to vote
CMSB
2007
Springer
16 years 11 days ago
2007
Springer
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...
136
click to vote
TGC
2007
Springer
16 years 9 days ago
2007
Springer
Secure information flow analysis aims to prevent programs from leaking their H (high) inputs to their L (low) outputs. A major challenge in this area is to relax the standard noni...
174
click to vote
CCECE
2006
IEEE
16 years 7 days ago
2006
IEEE
Although many QoS management architectures have been recently introduced with a lot of advanced features, they have never been widely used in the existing applications due to the ...
215
click to vote
ASSETS
2006
ACM
16 years 5 days ago
2006
ACM
In previous work we have presented a prototype of an assistant system for the blind that can be used for self-localization and interactive object identification of static objects ...