1161 search results - page 87 / 233 » Resource Modeling for Timed Creol Models |
155
click to vote
ISCAPDCS
2004
15 years 7 months ago
2004
Scheduling and load-balancing techniques play an integral role in reducing the overall execution time of scientific applications on clustered multi-node systems. The increasing co...
164
click to vote
ADHOCNOW
2006
Springer
16 years 4 days ago
2006
Springer
This paper presents a performance analysis of wireless ad-hoc networks, with ieee 802.11 as the underlying wireless lan technology. wlan has, due to the fair radio resource sharin...
266
Voted
GIS
2003
ACM
16 years 7 months ago
2003
ACM
Location-Based Services (LBSs) utilize information about users' locations through location-aware mobile devices to provide services, such as nearest features of interest, the...
157
click to vote
ASPLOS
2010
ACM
15 years 11 months ago
2010
ACM
Symbiotic job scheduling boosts simultaneous multithreading (SMT) processor performance by co-scheduling jobs that have ‘compatible’ demands on the processor’s shared resour...
166
click to vote
FATES
2003
Springer
15 years 11 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...