3456 search results - page 155 / 692 » Algorithms for Interface Synthesis |
ICIP
2010
IEEE
13 years 8 months ago
2010
IEEE
Optical lithography is a critical step in the semiconductor manufacturing process, and one key problem is the design of the photomask for a particular circuit pattern, given the o...
ASSETS
2009
ACM
13 years 8 months ago
2009
ACM
Speech synthesis options on assistive communication devices are very limited and do not reflect the user’s vocal quality or personality. Previous work suggests that speakers wit...
TCAD
2010
13 years 5 months ago
2010
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
PLDI
2011
ACM
13 years 1 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
ICFP
2012
ACM
12 years 1 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...