2957 search results - page 212 / 592 » Code analysis and CS-XML |
164
Voted
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We propose a symbolic algorithm to accurately predict atomicity violations by analyzing a concrete execution trace of a concurrent program. We use both the execution trac...
122
click to vote
GLOBECOM
2008
IEEE
15 years 10 months ago
2008
IEEE
— We consider a relay that simultaneously assists multiple source-destination pairs that do not have a direct link, the so-called gateway channel, and explore the sum capacity of...
141
click to vote
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
It is well-known that opportunistic transmission schemes are sumcapacity optimal, in the Shannon sense, for symmetric cellular networks with single-antenna transceivers. However, ...
133
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a test framework to support unit component testing in distributed component-based systems that are built upon component technologies like CORBA, COM/.NET, J2EE...
119
Voted
MUE
2007
IEEE
15 years 9 months ago
2007
IEEE
Video applications on mobile handheld devices are very challenging mainly due to the complex computational needs of video decoding and the limited capacity of batteries of handhel...