Sciweavers

6894 search results - page 78 / 1379
» Generation Problems
Sort
View
ICCD
1996
IEEE
108views Hardware» more  ICCD 1996»
15 years 10 months ago
Module Generators for a Regular Analog Layout
In general, automatic layout composition techniques based on pre-designed devices facilitate the production of small IC numbers by prefabricating their basic structures. They also...
J. Kampe, C. Wisser, G. Scarbata
ERSHOV
2006
Springer
15 years 10 months ago
Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method
In the equivalent transformation (ET) computation model, a specification provides background knowledge in a problem domain, a program is a set of prioritized rewriting rules, and c...
Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu K...
AUTOMATICA
2008
107views more  AUTOMATICA 2008»
15 years 4 months ago
Incorporating oligopoly, CO2 emissions trading and green certificates into a power generation expansion model
This paper presents a generation expansion model for the power sector which incorporates several features that make it very interesting for its application to current electricity m...
Pedro Linares, Francisco Javier Santos, Mariano Ve...
SIGSOFT
2007
ACM
16 years 7 months ago
The impact of input domain reduction on search-based test data generation
There has recently been a great deal of interest in search? based test data generation, with many local and global search algorithms being proposed. However, to date, there has be...
Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil...
ICST
2009
IEEE
16 years 25 days ago
Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM)
The problem of testing from an extended finite state machine (EFSM) can be expressed in terms of finding suitable paths through the EFSM and then deriving test data to follow the ...
Abdul Salam Kalaji, Robert M. Hierons, Stephen Swi...