Sciweavers

4491 search results - page 25 / 899
» Algorithm Engineering
Sort
View
ICSM
2002
IEEE
14 years 25 days ago
A Post-Placement Side-Effect Removal Algorithm
Mark Harman, Lin Hu, Robert M. Hierons, Malcolm Mu...
DAC
2000
ACM
14 years 9 months ago
Forensic engineering techniques for VLSI CAD tools
The proliferation of the Internet has a ected the business model of almost all semiconductor and VLSI CAD companies that rely on intellectual property (IP) as their main source of...
Darko Kirovski, David T. Liu, Jennifer L. Wong, Mi...
ISCAS
2005
IEEE
122views Hardware» more  ISCAS 2005»
14 years 1 months ago
Towards a rigorous formulation of the space mapping technique for engineering design
—This paper deals with the Space Mapping (SM) approach to engineering design optimization. We attempt here a theoretical justification of methods that have already proven efficie...
Slawomir Koziel, John W. Bandler, Kaj Madsen
VMCAI
2010
Springer
14 years 2 months ago
Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction
Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun...
EMSOFT
2004
Springer
14 years 1 months ago
WRR-SCAN: a rate-based real-time disk-scheduling algorithm
Cheng-Han Tsai, Edward T.-H. Chu, Tai-Yi Huang