894 search results - page 122 / 179 » Optimizations for LTL Synthesis |
109
click to vote
FCCM
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper will describe the architecture of a compiler which will convert an untimed C description of a set of floating point expressions into a synthesizable datapath optimized ...
116
Voted
IOLTS
2008
IEEE
15 years 7 months ago
2008
IEEE
Present and future semiconductor technologies are characterized by increasing parameters variations as well as an increasing susceptibility to external disturbances. Transient err...
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
I present a new estimation-of-distribution approach to program evolution where distributions are not estimated over the entire space of programs. Rather, a novel representationbui...
119
Voted
ISCAS
2006
IEEE
15 years 6 months ago
2006
IEEE
— Reduced ordered Binary Decision Diagrams (BDDs) are a data structure for efficient representation and manipulation of Boolean functions. They are frequently used in logic synt...
151
Voted
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
We present a Genetic Programming approach to evolve cooperative controllers for teams of UAVs. Our focus is a collaborative search mission in an uncertain and/or hostile environme...