Sciweavers

936 search results - page 84 / 188
» The Synthesis Problem of Netcharts
Sort
View
196
Voted
CVPR
2009
IEEE
16 years 10 months ago
Learning Mappings for Face Synthesis from Near Infrared to Visual Light Images
This paper deals with a new problem in face recognition research, in which the enrollment and query face samples are captured under different lighting conditions. In our case, t...
Jie Chen, Dong Yi, Jimei Yang, Guoying Zhao, Stan ...
DAC
1999
ACM
16 years 4 months ago
Synthesis of Embedded Software Using Free-Choice Petri Nets
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
Marco Sgroi, Luciano Lavagno
146
Voted
DAC
2002
ACM
16 years 4 months ago
Software synthesis from synchronous specifications using logic simulation techniques
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
Yunjian Jiang, Robert K. Brayton
126
Voted
VLSID
2008
IEEE
122views VLSI» more  VLSID 2008»
16 years 4 months ago
A Module Checking Based Converter Synthesis Approach for SoCs
Protocol conversion involves the use of a converter to control communication between two or more protocols such that desired system-level specifications can be satisfied. We invest...
Roopak Sinha, Partha S. Roop, Samik Basu
ICCAD
2007
IEEE
87views Hardware» more  ICCAD 2007»
16 years 16 days ago
Optimal polynomial-time interprocedural register allocation for high-level synthesis and ASIP design
—Register allocation, in high-level synthesis and ASIP design, is the process of determining the number of registers to include in the resulting circuit or processor. The goal is...
Philip Brisk, Ajay K. Verma, Paolo Ienne