1461 search results - page 48 / 293 » Analysis of Constraint Logic Programs |
60
Voted
ICML
2003
IEEE
15 years 10 months ago
2003
IEEE
HYBRID
2004
Springer
15 years 3 months ago
2004
Springer
We present a new high-level programming language, called XGIOTTO, for programming applications with hard real-time constraints. Like its predecessor, XGIOTTO is based on the LET (l...
118
click to vote
PTS
2010
14 years 7 months ago
2010
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...
CHES
2005
Springer
15 years 3 months ago
2005
Springer
During the last years, several logic styles that counteract side-channel attacks have been proposed. They all have in common that their level of resistance heavily depends on imple...
VSTTE
2005
Springer
15 years 3 months ago
2005
Springer