Sciweavers

16616 search results - page 338 / 3324
» Extending Extended Vacuity
Sort
View
SLIP
2005
ACM
16 years 1 months ago
A 3-D FPGA wire resource prediction model validated using a 3-D placement and routing tool
The interconnection architecture of FPGAs such as switches dominates performance of FPGAs. Three-dimensional integration of FPGAs overcomes interconnect limitations by allowing in...
Young-Su Kwon, Payam Lajevardi, Anantha P. Chandra...
172
Voted
BIRTHDAY
2004
Springer
16 years 25 days ago
A Proof of Regularity for Finite Splicing
We present a new proof that languages generated by (non extended) H systems with finite sets of axioms and rules are regular.
Vincenzo Manca
RULEML
2004
Springer
16 years 24 days ago
Defeasible Description Logics
We propose to extend description logic with defeasible rules, and to use the inferential mechanism of defeasible logic to reason with description logic constructors.
Guido Governatori
HICSS
2003
IEEE
99views Biometrics» more  HICSS 2003»
16 years 22 days ago
A probabilistic loading-dependent model of cascading failure and possible implications for blackouts
Catastrophic disruptions of large, interconnected infrastructure systems are often due to cascading failure. For example, large blackouts of electric power systems are typically c...
Ian Dobson, Benjamin A. Carreras, David E. Newman
154
Voted
CTRSA
2001
Springer
121views Cryptology» more  CTRSA 2001»
15 years 12 months ago
REACT: Rapid Enhanced-Security Asymmetric Cryptosystem Transform
a revised version of the extended abstract which appeared in The Cryptographers’ Track at RSA Conference ’2001 (8 – 12 april 2001, San Francisco, California, USA)
Tatsuaki Okamoto, David Pointcheval