13717 search results - page 2313 / 2744 » Control Systems |
198
Voted
DAC
2004
ACM
16 years 7 months ago
2004
ACM
The advent of strong multi-level partitioners has made topdown min-cut placers a favored choice for modern placer implementations. We examine terminal propagation, an important st...
177
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
Within the field of software repository mining, it is common practice to extract change-events from source control systems and then abstract these events to allow for different a...
193
Voted
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
200
Voted
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Memory accesses form an important source of timing unpredictability. Timing analysis of real-time embedded software thus requires bounding the time for memory accesses. Multipro...
178
click to vote
SEKE
2009
Springer
16 years 1 months ago
2009
Springer
In software product line (SPL) development, evolutions occur in core assets and application products. How to ensure their alignment in evolution is a big challenge. Products in an...