7189 search results - page 199 / 1438 » Connecting Design with Code |
172
Voted
MDAFA
2004
Springer
15 years 8 months ago
2004
Springer
MDA software development requires the interoperability of a wide range of modelling services (operations taking models as inputs and outputs), such as model edition, model transfor...
128
click to vote
ICCCN
1998
IEEE
15 years 7 months ago
1998
IEEE
The paper proposes local and global optimization schemes for efficient TCP buffer allocation in an HTTP server. The proposed local optimization scheme dynamically adjusts the TCP ...
131
click to vote
DAC
1998
ACM
15 years 7 months ago
1998
ACM
—Functional simulation is still the primary workhorse for verifying the functional correctness of hardware designs. Functional verification is necessarily incomplete because it i...
124
Voted
TIT
2002
15 years 3 months ago
2002
Abstract--We continue the study of adaptive schemes for the sequential lossy coding of individual sequences which was recently initiated by Linder and Lugosi. Specifically, we cons...
133
Voted
INFOCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
—BitTorrent (BT) has carried out a significant and continuously increasing portion of Internet traffic. While several designs have been recently proposed and implemented to imp...