12333 search results - page 509 / 2467 » System Level Modelling for Hardware Software Systems |
198
click to vote
HPCA
2003
IEEE
16 years 7 months ago
2003
IEEE
Java-based middleware, and application servers in particular, are rapidly gaining importance as a new class of workload for commercial multiprocessor servers. SPEC has recognized ...
223
click to vote
MICRO
1998
IEEE
15 years 11 months ago
1998
IEEE
Three dimensional (3D) graphics applications have become very important workloads running on today's computer systems. A cost-effective graphics solution is to perform geomet...
172
click to vote
DRM
2004
Springer
16 years 10 days ago
2004
Springer
The current landscape for digital rights management (DRM) consists of various ad hoc technologies and platforms that largely focus on copy protection. The fragmented nature of the...
157
click to vote
ENTCS
2006
15 years 7 months ago
2006
In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations.
184
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
Increasingly, high-assurance applications rely on autonomic systems to respond to changes in their environment. The inherent uncertainty present in the environment of autonomic sy...