238 search results - page 43 / 48 » Constraint Solving and Symbolic Execution |
DAC
2002
ACM
15 years 11 months ago
2002
ACM
Many real-time embedded systems involve a collection of independently executing event-driven code blocks, having hard real-time constraints. Tasks in many such systems, like netwo...
122
click to vote
ESTIMEDIA
2009
Springer
15 years 5 months ago
2009
Springer
—Real-time encoding of high-definition H.264 video is a challenge to current embedded programmable processors. Emerging stream processing methods supported by most GPUs and progr...
111
click to vote
LION
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. The rapid evolution of real-time multimedia applications requires Quality of Service (QoS) based multicast routing in underlying computer networks. The constrained Steine...
103
click to vote
EDCC
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...
103
click to vote
INFOCOM
2002
IEEE
15 years 3 months ago
2002
IEEE
—In this paper, we introduce a cross-layer design framework to the multiple access problem in contention-based wireless ad hoc networks. The motivation for this study is twofold,...