Sciweavers

7106 search results - page 454 / 1422
» Restricted Complexity, General Complexity
Sort
View
208
Voted
IDEAS
2002
IEEE
151views Database» more  IDEAS 2002»
16 years 18 days ago
Completing CAD Data Queries for Visualization
A system has been developed permitting database queries over data extracted from a CAD system where the query result is returned back to the CAD for visualization and analysis. Th...
Milena Gateva Koparanova, Tore Risch
IPPS
2002
IEEE
16 years 18 days ago
Fast Inductance Extraction of Large VLSI Circuits
Accurate estimation of signal delay is critical to the design and verification of VLSI circuits. At very high frequencies, signal delay in circuits with small feature sizes is do...
Hemant Mahawar, Vivek Sarin, Weiping Shi
177
Voted
CHES
2001
Springer
130views Cryptology» more  CHES 2001»
16 years 5 days ago
Generating Elliptic Curves of Prime Order
A variation of the Complex Multiplication (CM) method for generating elliptic curves of known order over finite fields is proposed. We give heuristics and timing statistics in th...
Erkay Savas, Thomas A. Schmidt, Çetin Kaya ...
ICSE
2001
IEEE-ACM
16 years 3 days ago
Fast Formal Analysis of Requirements via "Topoi Diagrams"
Early testing of requirements can decrease the cost of removing errors in software projects. However, unless done carefully, that testing process can significantly add to the cos...
Tim Menzies, John D. Powell, Michael E. Houle
SIGADA
2001
Springer
16 years 3 days ago
Targeting Ada95/DSA for distributed simulation of multiprotocol communication networks
The last years have seen an increasing, albeit restricted simulation of large-scale networks on shared memory parallel platforms. As the complexity of communication protocols and ...
Dhavy Gantsou