7329 search results - page 1369 / 1466 » Software Architectural Transformation |
171
Voted
ICSOC
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we present an Open Grid Services Architecture (OGSA)-based decentralized allocation enforcement system, developed with an emphasis on a consistent data model and ea...
119
Voted
MHCI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The field of Remote Vehicle Diagnostics can be described as the remote management of vehicles equipped with electronic control systems. Despite the great potential that i...
125
Voted
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
127
Voted
ASPLOS
2010
ACM
15 years 9 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...
141
Voted
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
The available Instruction Level Parallelism in Java bytecode (Java-ILP) is not readily exploitable using traditional in-order or out-of-order issue mechanisms due to dependencies ...