2485 search results - page 84 / 497 » Time Bounded Frequency Computations |
141
Voted
SAC
2009
ACM
15 years 11 months ago
2009
ACM
This paper considers the length-lex domain for set-variables in constraint programming which includes not only membership but also cardinality and lexicographic information. The p...
110
click to vote
FOSSACS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...
126
click to vote
DCC
2010
IEEE
15 years 4 months ago
2010
IEEE
In the study of multiple-access in the collision channel, conflict-avoiding code is used to guarantee that each transmitting user can send at least one packet successfully in the w...
164
click to vote
ECRTS
2009
IEEE
15 years 2 months ago
2009
IEEE
This paper explores timing anomalies in WCET analysis. Timing anomalies add to the complexity of WCET analysis and make it hard to apply divide-and-conquer strategies to simplify ...
132
click to vote
VLSID
2003
IEEE
16 years 4 months ago
2003
IEEE
A formal synthesis method for complex real-time embedded software is proposed in this work. Compared to previous work, our method not only synthesizes embedded software with compl...