Treffer 181 - 200 von 1.844

181

Analog Product Codes Decodable by Linear Programming
ZANKO, Avi ; LESHEM, Amir ; ZEHAVI, Ephraim
IEEE transactions on information theory. 58(2):509-518

Telecommunications Télécommunications Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Fachzeitschrift
Zu den Favoriten
182

A LAX SYMMETRIC CUBICAL CATEGORY ASSOCIATED TO A DIRECTED SPACE
GRANDIS, Marco
Cahiers de topologie et géométrie différentielle catégoriques. 53(2):115-156

Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques...
Fachzeitschrift
Zu den Favoriten
183

Workshop on java for parallel and distributed computing
CAROMEL, D ; CHAUMETTE, S ; FOX, G ; et al.
Parallel and distributed processing (Cancun, 1-5 May 2000)Lecture notes in computer science. :528-535

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
184

Verification methods for weaker shared memory consistency models
GHUGHAL, R. P ; GOPALAKRISHNAN, G. C
Parallel and distributed processing (Cancun, 1-5 May 2000)Lecture notes in computer science. :985-992

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
185

Towards standard nested parallelism
GONZALEZ, J. A ; LEON, C ; PICCOLI, F ; et al.
Recent advances in parallel virtual machine and message passing interface (Balatonfüred, 10-13 September 2000)Lecture notes in computer science. :96-103

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
186

Time and probability in process algebra
ANDOVA, S
AMAST 2000 : algebraic methodology and software technology (Iowa City IA, 20-27 May 2000)Lecture notes in computer science. :323-338

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
187

The parallelization of a knowledge discovery system with hypergraph representation
SEITZER, J ; BUCKLEY, J. P ; YI PAN ; et al.
Parallel and distributed processing (Cancun, 1-5 May 2000)Lecture notes in computer science. :374-381

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
188

The impact of cache coherence protocols on parallel logic programming systems
DE CASTRO DUTRA, I ; SANTOS COSTA, V ; BIANCHINI, R
CL 2000 : computational logic (London, 24-28 July 2000)Lecture notes in computer science. :1285-1299

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
189

The access region test
HOEFLINGER, J ; PAEK, Y
LCPC '99 : languages and compilers for parallel computing (La Jolla CA, 4-6 August 1999)Lecture notes in computer science. :271-285

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
190

The Skel-BSP Global optimizer: Enhancing performance portability in parallel programming
ZAVANELLA, A
Euro-Par 2000 parallel processing (Munich, 29 August - 1 September 2000)Lecture notes in computer science. :658-667

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
191

The ParCeL-2 programming language
CAGNARD, P.-J
Euro-Par 2000 parallel processing (Munich, 29 August - 1 September 2000)Lecture notes in computer science. :767-770

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
192

The Data Mover : A machine-independent abstraction for managing customized data motion
BADEN, S. B ; FINK, S. J
LCPC '99 : languages and compilers for parallel computing (La Jolla CA, 4-6 August 1999)Lecture notes in computer science. :333-349

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
193

The BORG distributed architecture for high-performance computing
MOU, Z. G ; DUONG, L ; DONUHUE, D ; et al.
Applications of high-performance computing in engineering VI (Maui HI, January 2000). :399-408

Computer science Informatique Mathematics Mathématiques Mechanics acoustics Mécanique et acoustique
Konferenz
Zu den Favoriten
194

Task farm computations in Java
DANELUTTO, M
HPCN 2000 : high performance computign and networking (Amsterdam, 8-10 May 2000)Lecture notes in computer science. :385-394

Computer science Informatique Telecommunications Télécommunications Sciences exactes et tech... Exact sciences and techn...
Konferenz
Zu den Favoriten
195

TACO: Dynamic distributed collections with templates and topologies
NOLTE, J ; SATO, M ; ISHIKAWA, Y
Euro-Par 2000 parallel processing (Munich, 29 August - 1 September 2000)Lecture notes in computer science. :1071-1080

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
196

System description : PTTP+GLiDeS semantically guided PTTP
BROWN, M ; SUTCLIFFE, G
Automated deduction - CADE-17 (Pittsburgh PA, 17-20 June 2000)Lecture notes in computer science. :411-416

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
197

System description : SystemOnTPTP
SUTCLIFFE, G
Automated deduction - CADE-17 (Pittsburgh PA, 17-20 June 2000)Lecture notes in computer science. :406-410

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
198

Symbolic analysis in the PROMIS Compiler
STAVRAKOS, N ; CARROLL, S ; SAITO, H ; et al.
LCPC '99 : languages and compilers for parallel computing (La Jolla CA, 4-6 August 1999)Lecture notes in computer science. :468-471

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
199

Specification techniques for automatic performance analysis tools
GERNDT, M ; ESSER, H.-G
Parallel and distributed processing (Cancun, 1-5 May 2000)Lecture notes in computer science. :269-276

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
200

Solving problems on parallel computers by cellular programming
TALIA, D
Parallel and distributed processing (Cancun, 1-5 May 2000)Lecture notes in computer science. :595-603

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten

Filter