171 search results - page 4 / 35 » Techniques for Scaling Up Analyses Based on Pre-interpretati... |
ICIP
2006
IEEE
14 years 9 months ago
2006
IEEE
In this paper, we propose a transrating based video rate adaptation technique for compressed high-definition video transmission over wireless local area networks. Our application ...
SIES
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— Not only system performance but also energy efficiency is critically important for embedded systems. Optimal real-time scheduling is effective to not only schedulabili...
IJISEC
2008
13 years 7 months ago
2008
We present a model checking technique for security protocols based on a reduction to propositional logic. At the core of our approach is a procedure that, given a description of th...
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
1 Biological processes occurring inside cell involve multiple scales of time and length; many popular theoretical and computational multi-scale techniques utilize biomolecular simu...
INFOCOM
2000
IEEE
13 years 12 months ago
2000
IEEE
— We present a new analytical technique, based on the inclusion–exclusion principle from combinatorics, for the analysis of all-optical networks with no wavelength conversion a...