Sciweavers

3038 search results - page 501 / 608
» Industrial evolutionary computing
Sort
View
ICCAD
2000
IEEE
137views Hardware» more  ICCAD 2000»
15 years 9 months ago
Smart Simulation Using Collaborative Formal and Simulation Engines
computation and automatic abstraction. Second, Ketchum performs not only automatic test generation but also unreachability analysis, which enables the test generation effort to be ...
Pei-Hsin Ho, Thomas R. Shiple, Kevin Harer, James ...
ICRA
2000
IEEE
108views Robotics» more  ICRA 2000»
15 years 9 months ago
Deformable Volumes in Path Planning Applications
This paper addresses the problem of path planning for a class of deformable volumes under fairly general manipulation constraints. The underlying geometric model for the volume is...
Elliot Anshelevich, Scott Owens, Florent Lamiraux,...
ASPDAC
2000
ACM
159views Hardware» more  ASPDAC 2000»
15 years 9 months ago
Analytical minimization of half-perimeter wirelength
Global placement of hypergraphs is critical in the top-down placement of large timing-driven designs 10, 16 . Placement quality is evaluated in terms of the half-perimeter wirelen...
Andrew A. Kennings, Igor L. Markov
DATE
2010
IEEE
140views Hardware» more  DATE 2010»
15 years 9 months ago
Construction of dual mode components for reconfiguration aware high-level synthesis
High-level synthesis has recently started to gain industrial acceptance, due to the improved quality of results and the multi-objective optimizations offered. One optimization area...
George Economakos, Sotirios Xydis, Ioannis Koutras...
CSMR
1999
IEEE
15 years 9 months ago
A Change Impact Model for Changeability Assessment in Object-Oriented Software Systems
Growing maintenance costs have become a major concern for developers and users of software systems. Changeability is an important aspect of maintainability, especially in environm...
M. Ajmal Chaumun, Hind Kabaili, Rudolf K. Keller, ...