Sciweavers

956 search results - page 25 / 192
» Dimensions in program synthesis
Sort
View
115
Voted
JMM2
2006
80views more  JMM2 2006»
15 years 2 months ago
Implementing Holistic Dimensions for a Facial Composite System
Facial composites are pictures of human faces. These are normally constructed by victims and witnesses of crime who describe a suspect's face and then select individual facial...
Charlie D. Frowd, Vicki Bruce, Alex H. McIntyre, D...
110
Voted
CADE
2002
Springer
16 years 2 months ago
AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description
Bernd Fischer 0002, Johann Schumann, Michael W. Wh...
123
Voted
LICS
2009
IEEE
15 years 9 months ago
Applications of Game Semantics: From Program Analysis to Hardware Synthesis
After informally reviewing the main concepts from game semantics and placing the development of the field in a historical context we examine its main applications. We focus in pa...
Dan R. Ghica
89
Voted
FCCM
2008
IEEE
128views VLSI» more  FCCM 2008»
15 years 9 months ago
Kiwi: Synthesis of FPGA Circuits from Parallel Programs
David J. Greaves, Satnam Singh
74
Voted
ERSHOV
2001
Springer
15 years 7 months ago
A Theoretical Foundation of Program Synthesis by Equivalent Transformation
Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi