1461 search results - page 48 / 293 » Analysis of Constraint Logic Programs |
86
Voted
ICML
2003
IEEE
16 years 3 months ago
2003
IEEE
119
Voted
HYBRID
2004
Springer
15 years 8 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...
182
Voted
PTS
2010
15 years 16 days 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...
117
Voted
CHES
2005
Springer
15 years 8 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...
88
Voted
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer