6014 search results - page 1115 / 1203 » Parametric Analysis of Computer Systems |
139
Voted
IEEEPACT
2008
IEEE
15 years 10 months 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 ...
154
Voted
CMSB
2007
Springer
15 years 9 months 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...
109
Voted
TGC
2007
Springer
15 years 9 months 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...
142
click to vote
CCECE
2006
IEEE
15 years 9 months 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 ...
176
Voted
ASSETS
2006
ACM
15 years 9 months 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 ...