2496 search results - page 323 / 500 » On covering by translates of a set |
171
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
This paper presents a language dedicated to the description of the software architecture of complex embedded control systems. The language relies on the synchronous approach but e...
171
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional app...
194
click to vote
PKDD
2009
Springer
16 years 1 months ago
2009
Springer
Data domain description techniques aim at deriving concise descriptions of objects belonging to a category of interest. For instance, the support vector domain description (SVDD) l...
154
click to vote
CSL
2007
Springer
16 years 22 days ago
2007
Springer
We study the complexity of satisfiability for DLP+ dyn , an expressive logic introduced by Demri that allows to reason about dynamic policies. DLP+ dyn extends the logic DLPdyn of...
181
click to vote
DATE
2006
IEEE
16 years 18 days ago
2006
IEEE
Instruction set simulators are common tools used for the development of new architectures and embedded software among countless other functions. This paper presents a framework th...