2722 search results - page 215 / 545 » Automating Language Evolution |
134
click to vote
DAC
1999
ACM
16 years 5 months ago
1999
ACM
This tutorial paper surveys the potential implications of subwavelength optical lithography for new tools and flows in the interface between layout design and manufacturability. W...
125
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
122
click to vote
ICSE
2003
IEEE-ACM
16 years 5 months ago
2003
IEEE-ACM
Traceability helps stakeholders to understand the relationships that exist between software artifacts created during a software development project. For example, the evolution of ...
126
click to vote
RE
2009
Springer
15 years 11 months ago
2009
Springer
Heterogeneously-licensed systems pose new challenges to analysts and system architects. Appropriate intellectual property rights must be available for the installed system, but wi...
158
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
In vivo observation of cells in the Arabidopsis thaliana root, by time-lapse confocal microscopy, is central to biology research. The research herein described is based on large a...