1943 search results - page 308 / 389 » End-to-End Integration Testing |
133
Voted
ISLPED
1995
ACM
15 years 7 months ago
1995
ACM
We will present a power estimation technique for digital integrated circuits that operates at the register transfer level RTL . Such a high-level power estimation capability is r...
125
click to vote
SIGGRAPH
1991
ACM
15 years 7 months ago
1991
ACM
A major problem challenging opera designers is the inability to coordinate lighting, projection systems, and set designs in the preliminary planning phase. New computer graphics t...
140
click to vote
GECCO
2010
Springer
15 years 7 months ago
2010
Springer
We use affine arithmetic to improve both the performance and the robustness of genetic programming for symbolic regression. During evolution, we use affine arithmetic to analyze e...
125
click to vote
FLAIRS
2007
15 years 6 months ago
2007
Symbolic reasoning is a well understood and effective approach to handling reasoning over formally represented knowledge; however, simple symbolic inference systems necessarily sl...
129
click to vote
WSC
2007
15 years 6 months ago
2007
This paper describes an innovative framework, iFAOSimo, which integrates optimization, simulation and GIS (geographic information system) techniques to handle complex spatial faci...