3468 search results - page 293 / 694 » An open logical framework |
161
Voted
DATE
2009
IEEE
16 years 1 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...
189
click to vote
FPGA
2007
ACM
16 years 26 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...
196
click to vote
CSFW
2003
IEEE
16 years 1 hour 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...
139
click to vote
KBSE
2003
IEEE
15 years 12 months 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 ...
152
click to vote
IPPS
2000
IEEE
15 years 11 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...