3994 search results - page 323 / 799 » A Linear Logical Framework |
191
Voted
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
Negative Bias Temperature Instability (NBTI), a PMOS aging phenomenon causing significant loss on circuit performance and lifetime, has become a critical challenge for temporal re...
209
Voted
FPGA
2007
ACM
16 years 1 months 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...
226
click to vote
CSFW
2003
IEEE
16 years 23 days ago
2003
IEEE
SPKI/SDSI is a language for expressing distributed access control policy, derived from SPKI and SDSI. We provide a first-order logic (FOL) semantics for SDSI, and show that it ha...
164
Voted
KBSE
2003
IEEE
16 years 22 days ago
2003
IEEE
Automating software evolution requires both identifying precisely the affected program points and selecting the appropriate modification at each point. This task is particularly ...
179
click to vote
IPPS
2000
IEEE
15 years 12 months ago
2000
IEEE
Parallel simulation techniques are often employed to meet the computational requirements of large hardware simulations in order to reduce simulation time. In addition, partitionin...