CIE
2006
Springer
14 years 13 days ago
2006
Springer
G
CIE
2006
Springer
14 years 13 days ago
2006
Springer
Abstract. We prove that the homomorphic quasiorder of finite k-labeled forests has undecidable elementary theory for k 3, in contrast to the known decidability result for k = 2. W...
CIE
2006
Springer
14 years 13 days ago
2006
Springer
traction for an Object-Oriented Calculus with Thread Classes Erika
CF
2006
ACM
14 years 13 days ago
2006
ACM
Adaptive mesh refinement (AMR) is a powerful technique that reduces the resources necessary to solve otherwise intractable problems in computational science. The AMR strategy solv...
CF
2006
ACM
14 years 13 days ago
2006
ACM
The slowing pace of commodity microprocessor performance improvements combined with ever-increasing chip power demands has become of utmost concern to computational scientists. As...
CF
2006
ACM
14 years 13 days ago
2006
ACM
CF
2006
ACM
14 years 13 days ago
2006
ACM
Traditionally, cache coherence in large-scale shared-memory multiprocessors has been ensured by means of a distributed directory structure stored in main memory. In this way, the ...
CF
2006
ACM
14 years 13 days ago
2006
ACM
This paper presents our experience mapping OpenMP parallel programming model to the IBM Cyclops-64 (C64) architecture. The C64 employs a many-core-on-a-chip design that integrates...
C5
2006
IEEE
14 years 13 days ago
2006
IEEE
1 We propose a music generation software that allows large numbers of users to collaborate. In a virtual world, groups of users generate music simultaneously at different places i...
BIRTHDAY
2006
Springer
14 years 13 days ago
2006
Springer
Following M. Krachounov ([5]), max and min operations with fuzzy sets are considered instead of Lukasiewicz ones ([6], [7], [8], [9]). Her the domain F of a probability m : F [0, ...