1940 search results - page 135 / 388 » The Dynamic Logic of Permission |
194
click to vote
IMC
2010
ACM
15 years 4 months ago
2010
ACM
In this paper we conduct an extensive and in-depth study of traffic exchanged between YouTube data centers and its users, as seen from the perspective of a tier-1 ISP in Spring 20...
151
click to vote
ATVA
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...
185
click to vote
FPGA
2007
ACM
16 years 22 days ago
2007
ACM
Power consumption in field programmable gate arrays (FPGAs) has become an important issue as the FPGA market has grown to include mobile platforms. In this work we present a power...
181
click to vote
ISPA
2007
Springer
16 years 21 days ago
2007
Springer
The number of processors embedded in high performance computing platforms is growing daily to solve larger and more complex problems. The logical network topologies must also suppo...
155
click to vote
GLVLSI
2006
IEEE
16 years 18 days ago
2006
IEEE
A new circuit technique based on a single PMOS sleep transistor and a dual threshold voltage CMOS technology is proposed in this paper for simultaneously reducing subthreshold and...