2470 search results - page 150 / 494 » Liveness-Preserving Simulation Relations |
149
click to vote
DNA
2009
Springer
15 years 8 months ago
2009
Springer
We introduce a domain-specific language (DSL) for creating sets of tile types for simulations bstract Tile Assembly Model. The language defines objects known as tile templates, wh...
143
click to vote
ICCCN
2007
IEEE
15 years 7 months ago
2007
IEEE
Transport Control Protocol (TCP) has served as a reliable, self-regulated, and congestion tolerant transport protocol for many Internet applications. Relatively, limited knowledge ...
109
click to vote
GLOBECOM
2009
IEEE
15 years 7 months ago
2009
IEEE
A new method is proposed for the blind subspace-based identification of the coefficients of time-varying (TV) single-input multiple-output (SIMO) FIR channels. The TV channel coef...
149
click to vote
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper proposes a data pruning-based compression scheme to improve the rate-distortion relation of compressed images and video sequences. The original frames are pruned to a s...
132
click to vote
ASAP
2004
IEEE
15 years 7 months ago
2004
IEEE
IPSec is a suite of protocols that adds security to communications at the IP level. Protocols within the IPSec suite make extensive use of cryptographic algorithms. Since these al...