947 search results - page 20 / 190 » Analysis of Techniques to Improve Protocol Processing Latenc... |
123
click to vote
JCS
2010
14 years 8 months ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...
EUROPAR
2000
Springer
15 years 4 months ago
2000
Springer
With the increasing processing power, the latency of the memory hierarchy becomes the stumbling block of many modern computer architectures. In order to speed-up the calculations, ...
102
click to vote
DATE
2010
IEEE
15 years 6 months ago
2010
IEEE
—Temperature has a strong influence on integrated circuit (IC) performance, power consumption, and reliability. However, accurate thermal analysis can impose high computation co...
141
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
Despite the increasing maturity of model-driven development (MDD), some research challenges remain open in the field of information systems (IS). For instance, there is a need to i...
WWW
2005
ACM
16 years 1 months ago
2005
ACM
An Internet transaction is a transaction that involves communication over the Internet using standard Internet protocols such as HTTPS. Such transactions are widely used in Intern...