4772 search results - page 116 / 955 » An approach to interface synthesis |
148
click to vote
CSR
2006
Springer
15 years 10 months ago
2006
Springer
Zielonka's theorem shows that each regular set of Mazurkiewicz traces can be implemented as a system of synchronized processes provided with some distributed control structure...
133
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
This poster paper outlines a method for a search based approach to the development of provably correct protocols. Categories and Subject Descriptors C.2.2 [Computer Communication ...
169
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper proposes a novel approach to stability analysis and controller synthesis for discrete-time periodically time-varying systems. Firstly, a relaxation of standard Lyapunov ...
171
click to vote
CAV
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...
250
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
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...