1855 search results - page 134 / 371 » Composing model programs for analysis |
111
click to vote
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
Abstract—Several successful approaches to software verificabased on the construction and analysis of an abstract reachability tree (ART). The ART represents unwindings of the co...
105
click to vote
IFIP
2007
Springer
15 years 9 months ago
2007
Springer
This paper presents the saturation throughput analysis of IEEE 802.11g (ERP-OFDM) networks. The presented work is based on the Markov model previously introduced and validated by t...
135
Voted
ASPLOS
2010
ACM
15 years 8 months ago
2010
ACM
Heterogeneous systems, systems with multiple processors tailored for specialized tasks, are challenging programming environments. While it may be possible for domain experts to op...
124
click to vote
ICCAD
2006
IEEE
16 years 7 days ago
2006
IEEE
Early evaluation allows to execute operations when enough information at the inputs has been received to determine the value at the outputs. Systems that can tolerate variable-lat...
128
click to vote
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
When multiple video sources are live-encoded and transmitted over a common wireless network, each stream needs to adapt its encoding parameters to wireless channel fluctuations, ...