6258 search results - page 579 / 1252 » Applied Text Generation |
151
click to vote
ICCD
2004
IEEE
16 years 4 months ago
2004
IEEE
Although scan-based designs are widely used in order to reduce the complexity of test generation, test application time and test data volume are substantially increased. We propos...
176
click to vote
TACAS
2010
Springer
16 years 2 months ago
2010
Springer
We address the problem of computing the information leakage of a system in an efficient way. We propose two methods: one based on reducing the problem to reachability, and the oth...
163
click to vote
EDBT
2009
ACM
16 years 2 months ago
2009
ACM
A runtime approach to model-generic translation of schema and data is proposed. It is based on our previous work on MIDST, a platform conceived to perform translations in an off-...
186
click to vote
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedo...
175
click to vote
ICTAI
2009
IEEE
16 years 1 months ago
2009
IEEE
Inference in constraint programming is usually based on the deductions generated by individual constraints which are then communicated to other constraints through domain filteri...