Sciweavers

1305 search results - page 187 / 261
» Dynamic House Allocation
Sort
View
ICWS
2010
IEEE
14 years 10 months ago
jGASW: A Service-Oriented Framework Supporting HTC and Non-functional Concerns
—Although Service-Oriented principles have been widely adopted by High Throughput Computing infrastructure designers, the integration between SOA and HTC is made difficult by le...
Javier Rojas Balderrama, Johan Montagnat, Diane Li...
ISOLA
2010
Springer
14 years 10 months ago
A Memory Model for Static Analysis of C Programs
Automatic bug finding with static analysis requires precise tracking of different memory object values. This paper describes a memory modeling method for static analysis of C pro...
Zhongxing Xu, Ted Kremenek, Jian Zhang
CLOUDCOM
2010
Springer
14 years 10 months ago
Reliability Support in Virtual Infrastructures
Through the recent emergence of joint resource and network virtualization, dynamic composition and provisioning of time-limited and isolated virtual infrastructures is now possible...
Guilherme Piegas Koslovski, Wai-Leong Yeow, C&eacu...
HCI
2009
14 years 9 months ago
Modeling the Cognitive Task Load and Performance of Naval Operators
Abstract. Operators on naval ships have to act in dynamic, critical and highdemand task environments. For these environments, a cognitive task load (CTL) model has been proposed as...
Mark A. Neerincx, Stefan Kennedie, Marc Grootjen, ...
ICDCN
2010
Springer
15 years 6 months ago
Bandwidth Provisioning in Infrastructure-Based Wireless Networks Employing Directional Antennas
Abstract— Motivated by the widespread proliferation of wireless networks employing directional antennas, we study the problem of provisioning bandwidth in such networks. Given a ...
Shiva Prasad Kasiviswanathan, Bo Zhao, Sudarshan V...