2943 search results - page 156 / 589 » Software Implementation of Synchronous Programs |
127
click to vote
HPCA
1995
IEEE
15 years 6 months ago
1995
IEEE
Shared memory is an appealing abstraction for parallel programming. It must be implemented with caches in order toperform well, however, and caches require a coherence mechanism t...
128
click to vote
PEPM
1999
ACM
15 years 7 months ago
1999
ACM
Aspect-oriented programming addresses the problem that the implementation of some properties such as error handling and optimization tends to cross-cut the basic functionality. To...
130
click to vote
FSE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper discusses the state-of-the-art software optimization methodology for symmetric cryptographic primitives on Pentium III and 4 processors. We aim at maximizing s...
123
click to vote
JSC
2010
15 years 1 months ago
2010
Narrowing is a computation implemented by some declarative programming languages. Research in the last decade has produced significant results on the theory and foundation of nar...
130
click to vote
IEE
2010
15 years 1 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...