5639 search results - page 1063 / 1128 » Timed Abstract Non-interference |
150
click to vote
WDAG
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In software transactional memory (STM) systems, a contention manager resolves conflicts among transactions accessing the same memory locations. Whereas atomicity and ser...
273
click to vote
WIRN
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper presents an Artificial Immune-based optimization technique for solving the economic dispatch problem in a power system. The main role of electrical power utili...
174
click to vote
WLP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Meta-S is a constraint solver cooperation system which allows the dynamic integration of arbitrary external (stand-alone) solvers and their combination with declarative l...
192
click to vote
EGC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Grid technology is widely emerging as a solution for wide-spread applicability of computerized analysis and processing procedures in biomedical sciences. In this paper we...
146
click to vote
CASES
2004
ACM
15 years 11 months ago
2004
ACM
Abstract— In a direct-mapped instruction cache, all instructions that have the same memory address modulo the cache size, share a common and unique cache slot. Instruction cache ...