2786 search results - page 231 / 558 » A Practical Technique for Process Abstraction |
177
click to vote
EUROPAR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Real-world measurements play an important role in understanding the characteristics and in improving the operation of BitTorrent, which is currently a popular Internet ap...
159
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
143
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
se a new abstraction for pointer analysis that represents reads and writes to memory instead of traditional points-to relations. Compared to points-to graphs, our Assign-Fetch Gra...
176
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...
168
click to vote
JSAC
2010
15 years 5 months ago
2010
Abstract—UWB over fiber (UWBoF) technique has been proposed to increase the area of coverage for UWB communication systems. In this paper, the transmission performance of impuls...