1329 search results - page 27 / 266 » Constraint-based model synthesis |
115
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
— Protein synthesis is an essential process of cell cycle and growth in eukaryotic cells. The initiation stage of the translation process is known to be the most crucial in regul...
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
We present a novel technique for synthesising behaviour models that works for an expressive subset of liveness properties and conforms to the foundational requirements engineering...
145
click to vote
SCESM
2006
ACM
15 years 7 months ago
2006
ACM
Model Driven Development and Use Case Driven Development methodologies have inspired the proposal of a variety of software engineering approaches that synthesize statebased models...
ICCAD
2003
IEEE
15 years 10 months ago
2003
IEEE
Heuristics are widely used for solving computational intractable synthesis problems. However, until now, there has been limited effort to systematically develop heuristics that ca...
107
click to vote
ICCAD
2000
IEEE
15 years 6 months ago
2000
IEEE
— Memory is one of the most important components to be optimized in the several phases of the synthesis process. ioral synthesis, a memory is viewed as an abstract construct whic...