171 search results - page 4 / 35 » Techniques for Scaling Up Analyses Based on Pre-interpretati... |
145
click to vote
ICIP
2006
IEEE
16 years 7 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 ...
171
click to vote
SIES
2008
IEEE
16 years 12 days 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...
150
click to vote
IJISEC
2008
15 years 6 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...
149
click to vote
IPPS
2007
IEEE
16 years 10 days 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...
148
click to vote
INFOCOM
2000
IEEE
15 years 10 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...