2278 search results - page 88 / 456 » Specification Techniques for Automatic Performance Analysis ... |
PIMRC
2008
IEEE
15 years 5 months ago
2008
IEEE
—In recent years, cooperative communication has been proposed as a new communication paradigm that incorporates a relay node to assist the direct point-to-point transmission. By ...
TPDS
1998
14 years 11 months ago
1998
We present a set of advanced program parallelization techniques that are able to signi cantly improve the performance of application programs. We present evidence for this improve...
CAV
2010
Springer
15 years 1 months ago
2010
Springer
Gist is a tool that (a) solves the qualitative analysis problem of turn-based probabilistic games with -regular objectives; and (b) synthesizes reasonable environment assumptions f...
113
click to vote
MOBIHOC
2008
ACM
15 years 11 months ago
2008
ACM
The routing performance of delay tolerant networks (DTN) is highly correlated with the distribution of inter-contact times (ICT), the time period between two successive contacts o...
115
click to vote
CASCON
2010
14 years 9 months ago
2010
In Service Oriented Architecture (SOA), service composition integrates existing services to fulfill specific tasks using a set of standards and tools. However, current service comp...