5005 search results - page 284 / 1001 » The Design and Analysis of Parallel Algorithms |
174
click to vote
CSFW
2005
IEEE
15 years 10 months ago
2005
IEEE
We develop a general method for proving properties of contract-signing protocols using a specialized protocol logic. The method is applied to the Asokan-ShoupWaidner and the Garay...
128
click to vote
CODES
2003
IEEE
15 years 10 months ago
2003
IEEE
Future wireless internet enabled devices will be increasingly powerful supporting many more applications including one of the most crucial, security. Although SoCs offer more resi...
124
click to vote
ISSS
1998
IEEE
15 years 9 months ago
1998
IEEE
Designing a cost effective superscalar architecture for x86 compatible microprocessors is a challenging task in terms of both technical difficulty and commercial value. One of the...
123
click to vote
SAS
2001
Springer
15 years 9 months ago
2001
Springer
This paper describes the precise speci cation, design, analysis, implementation, and measurements of an e cient algorithm for solving regular tree grammar based constraints. The p...
139
click to vote
AINA
2007
IEEE
15 years 11 months ago
2007
IEEE
Continuous improvements in integration scale have made major microprocessor vendors to move to designs that integrate several processor cores on the same chip. Chip-multiprocessor...