8009 search results - page 23 / 1602 » cans 2005 |
69
Voted
AIRWEB
2005
Springer
15 years 3 months ago
2005
Springer
Web spamming refers to actions intended to mislead search engines into ranking some pages higher than they deserve. Recently, the amount of web spam has increased dramatically, le...
ASM
2005
ASM
15 years 6 days ago
2005
ASM
Abstract. This paper provides a modular high-level design of the Common Language Runtime (CLR) architecture. Our design is given in terms act State Machines (ASMs) and takes the fo...
GD
2005
Springer
15 years 3 months ago
2005
Springer
A workshop on Network Analysis and Visualisation was held on September 11, 2005 in Limerick Ireland, in conjunction with 2005 Graph Drawing conference. This report review the backg...
66
Voted
CADE
2005
Springer
15 years 10 months ago
2005
Springer
We introduce XOR constraints, and show how they enable a theorem prover to reason effectively about security critical subsystems which employ bitwise XOR. Our primary case study is...
70
Voted
ISVLSI
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents an approach to dynamically balance the pipeline by scaling the stage supply voltages. Simulation results show that by such an approach about 50% improvement in...