Sciweavers

16616 search results - page 338 / 3324
» Extending Extended Vacuity
Sort
View
SLIP
2005
ACM
16 years 10 days 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...
BIRTHDAY
2004
Springer
16 years 5 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 3 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
157
Voted
HICSS
2003
IEEE
99views Biometrics» more  HICSS 2003»
16 years 2 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
CTRSA
2001
Springer
121views Cryptology» more  CTRSA 2001»
15 years 11 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