6308 search results - page 1080 / 1262 » Modeling Urgency in Timed Systems |
132
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
The excessive complexity of both machine architectures and applications have made it difficult for compilers to statically model and predict application behavior. This observatio...
133
click to vote
QEST
2007
IEEE
15 years 11 months ago
2007
IEEE
Our productivity centered performance tuning framework for HPC applications comprises of three main components: (1) a versatile source code, performance metrics, and performance d...
128
click to vote
VR
2007
IEEE
15 years 11 months ago
2007
IEEE
We present a system that enables, for the first time, effective transatlantic cooperative haptic manipulation of objects whose motion is computed using a physically-based model. ...
161
click to vote
ICN
2007
Springer
15 years 11 months ago
2007
Springer
—Using Mobile Ad Hoc Networks (MANETs) for monitoring bovine animals potentially offers high increase in the profitability of cattle production. In this paper we propose a formal...
138
Voted
MIDDLEWARE
2007
Springer
15 years 11 months ago
2007
Springer
Resource brokering in Grids is nowadays handled by resource brokers that require detailed knowledge of the state of the resources that they broker. In business settings, surrender...