2 + 10 ≻ 1 + 50 ! (English)
- New search for: Hansson, Hans
- New search for: Norström, Christer
- New search for: Punnekkat, Sasikumar
- New search for: Rolim, José
- New search for: Hansson, Hans
- New search for: Norström, Christer
- New search for: Punnekkat, Sasikumar
In:
Parallel and Distributed Processing
: 15 IPDPS 2000 Workshops Cancun, Mexico, May 1–5, 2000 Proceedings
;
Chapter: 100
;
734-737
;
2000
- Article/Chapter (Book) / Electronic Resource
-
Title:2 + 10 ≻ 1 + 50 !
-
Contributors:Rolim, José ( editor ) / Hansson, Hans ( author ) / Norström, Christer ( author ) / Punnekkat, Sasikumar ( author )
-
Conference:International Parallel and Distributed Processing Symposium ; 2000 ; Cancun, Mexico
-
Published in:Parallel and Distributed Processing : 15 IPDPS 2000 Workshops Cancun, Mexico, May 1–5, 2000 Proceedings ; Chapter: 100 ; 734-737Lecture Notes in Computer Science ; 1800 ; 734-737
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2000-05-25
-
Size:4 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
3rd Workshop on Personal Computer based Networks Of Workstations (PC-NOW 2000)Rolim, José et al. | 2000
- 2
-
Memory Management in a combined VIA/SCI HardwareTrams, Mario / Rehm, Wolfgang / Balkanski, Daniel / Simeonov, Stanislav et al. | 2000
- 3
-
ATOLL, a new switched, high speed Interconnect in Comparison to Myrinet and SCIFischer, Markus / Brüning, Ulrich / Kluge, Jörg / Rzymianowicz, Lars / Schulz, Patrick / Waack, Mathias et al. | 2000
- 4
-
ClusterNet: An Object-Oriented Cluster NetworkHoare, Raymond R. et al. | 2000
- 5
-
GigaBit Performance under NTBaker, Mark / Scott, Stephen / Geist, Al / Browne, Logan et al. | 2000
- 6
-
MPI Collective Operations over IP MulticastChen, Hsiang Ann / Carrasco, Yvette O. / Apon, Amy W. et al. | 2000
- 7
-
An Open Market-Based Architecture for Distributed ComputingLalis, Spyros / Karipidis, Alexandros et al. | 2000
- 8
-
The MultiCluster Model to the Integrated Use of Multiple Workstation ClustersBarreto, Marcos / Ávila, Rafael / Navaux, Philippe et al. | 2000
- 9
-
Parallel Information Retrieval on an SCI-Based PC-NOWChung, Sang-Hwa / Kwon, Hyuk-Chul / Ryu, Kwang Ryel / Jang, Han-Kook / Kim, Jin-Hyuk / Choi, Cham-Ah et al. | 2000
- 10
-
A PC-NOW Based Parallel Extension for a Sequential DBMSExbrayat, Matthieu / Brunie, Lionel et al. | 2000
- 11
-
Workshop on Advances in Parallel and Distributed Computational ModelsRolim, José et al. | 2000
- 12
-
The Heterogeneous Bulk Synchronous Parallel ModelWilliams, Tiffani L. / Parsons, Rebecca J. et al. | 2000
- 13
-
On stalling in LogPBilardi, Gianfranco / Herley, Kieran T. / Pietracaprina, Andrea / Pucci, Geppino et al. | 2000
- 14
-
Parallelizability of some P-complete problemsFujiwara, Akihiro / Inoue, Michiko / Masuzawa, Toshimitsu et al. | 2000
- 15
-
A New Computation of Shape Moments via Quadtree DecompositionWu, Chin-Hsiung / Horng, Shi-Jinn / Lee, Pei-Zong / Lee, Shung-Shing / Lin, Shih-Ying et al. | 2000
- 16
-
The Fuzzy PhilosophersHuang, Shing-Tsaan et al. | 2000
- 17
-
A Java Applet to Visualize Algorithms on Reconfigurable MeshMiyashita, Kensuke / Hashimoto, Reiji et al. | 2000
- 18
-
A Hardware Implementation of PRAM and its Performance EvaluationImai, M. / Hayakawa, Y. / Kawanaka, H. / Chen, W. / Wada, K. / Castanho, C. D. / Okajima, Y. / Okamoto, H. et al. | 2000
- 19
-
A Non-Binary Parallel Arithmetic ArchitectureLin, Rong / Schwing, James L. et al. | 2000
- 20
-
Multithreaded Parallel Computer Model with Performance EvaluationCui, J. / Bordim, J. L. / Nakano, K. / Hayashi, T. / Ishii, N. et al. | 2000
- 21
-
Workshop on Parallel and Distributed Computing in Image Processing, Video Processing, and Multimedia (PDIVM 2000)Rolim, José et al. | 2000
- 22
-
MAJC-5200: A High Performance Microprocessor for Multimedia ComputingSudharsanan, Subramania et al. | 2000
- 23
-
A Novel Superscalar Architecture for Fast DCT ImplementationYong, Zhang / Zhang, Min et al. | 2000
- 24
-
Computing Distance Maps Efficiently Using An Optical BusPan, Yi / Li, Yamin / Li, Jie / Li, Keqin / Zheng, Si-Qing et al. | 2000
- 25
-
Advanced Data Layout Optimization for Multimedia ApplicationsKulkarni, Chidamber / Catthoor, Francky / De Man, Hugo et al. | 2000
- 26
-
Parallel Parsing of MPEG Video in a Multi-threaded Multiprocessor EnvironmentBhandarkar, Suchendra M. / Chandrasekaran, Shankar R. et al. | 2000
- 27
-
Parallelization Techniques for Spatial-Temporal Occupancy Maps from Multiple Video StreamsDeBardeleben, Nathan / Hoover, Adam / Jones, William / Ligon, Walter et al. | 2000
- 28
-
Heuristic Solutions for a Mapping Problem in a TV-Anytime Server NetworkZhou, Xiaobo / Lüling, Reinhard / Xie, Li et al. | 2000
- 29
-
RPV: A Programming Environment for Real-time Parallel Vision —Specification and programming methodology—Arita, Daisaku / Hamada, Yoshio / Yonemoto, Satoshi / Taniguchi, Rin-ichiro et al. | 2000
- 30
-
Parallel low-level image processing on a distributed-memory systemNicolescu, Cristina / Jonker, Pieter et al. | 2000
- 31
-
Congestion-free Routing of Streaming Multimedia Content in BMIN-based Parallel SystemsSethu, Harish et al. | 2000
- 32
-
Performance of On-Chip Multiprocessors for Vision Tasks (Summary)Chung, Y. / Park, K. / Hahn, W. / Park, N. / Prasanna, V. K. et al. | 2000
- 33
-
Parallel Hardware-Software Architecture for computation of Discrete Wavelet Transform using the Recursive Merge Filtering algorithmJamkhandi, Piyush / Mukherjee, Amar / Mukherjee, Kunal / Franceschini, Robert et al. | 2000
- 34
-
Fifth International Workshop on High-level Parallel Programming Models and Supportive Environments HIPS 2000Schulz, Martin et al. | 2000
- 35
-
Pipelining Wavefront Computations: Experiences and PerformanceLewis, E Christopher / Snyder, Lawrence et al. | 2000
- 36
-
Specification Techniques for Automatic Performance Analysis ToolsGerndt, Michael / Eßer, Hans-Georg et al. | 2000
- 37
-
PDRS: A Performance Data Representation SystemSun, Xian-He / Wu, Xingfu et al. | 2000
- 38
-
Clix — A Hybrid Programming Environment for Distributed Objects and Distributed Shared MemoryMueller, Frank / Nolte, Jörg / Schlaefer, Alexander et al. | 2000
- 39
-
Controlling Distributed Shared Memory Consistency from High Level Programming LanguagesJ, Yvon et al. | 2000
- 40
-
Online Computation of Critical Paths for Multithreaded LanguagesOyama, Yoshihiro / Taura, Kenjiro / Yonezawa, Akinori et al. | 2000
- 41
-
Problem Solving Environment Infrastructure for High Performance Computer SystemsStanzione, Daniel C. / Ligon, Walter B. et al. | 2000
- 42
-
Combining Fusion Optimizations and Piecewise Execution of Nested Data-Parallel ProgramsPfannenstiel, Wolf et al. | 2000
- 43
-
Declarative concurrency in JavaRamirez, Rafael / Santosa, Andrew E. et al. | 2000
- 44
-
Scalable Monitoring Technique for Detecting Races in Parallel ProgramsJun, Yong-Kee / McDowell, Charles E. et al. | 2000
- 45
-
3rd IPDPS Workshop on High Performance Data MiningZaki, Mohammed J. / Kumar, Vipin / Skillicorn, David B. et al. | 2000
- 46
-
Implementation Issues in the Design of I/O Intensive Data Mining Applications on Clusters of WorkstationsBaraglia, R. / Laforenza, D. / Orlando, Salvatore / Palmerini, P. / Perego, Raffaele et al. | 2000
- 47
-
A Requirements Analysis for Parallel KDD SystemsManiatty, William A. / Zaki, Mohammed J. et al. | 2000
- 48
-
Parallel Data Mining on ATM-Connected PC Cluster and Optimization of its Execution EnvironmentsOguchi, Masato / Kitsuregawa, Masaru et al. | 2000
- 49
-
The Parallelization of a Knowledge Discovery System with Hypergraph RepresentationSeitzer, Jennifer / Buckley, James P. / Pan, Yi / Adams, Lee A. et al. | 2000
- 50
-
Parallelisation of C4.5 as a Particular Divide and Conquer ComputationBecuzzi, Primo / Coppola, Massimo / Ruggieri, Salvatore / Vanneschi, Marco et al. | 2000
- 51
-
Scalable Parallel Clustering for Data Mining on MulticomputersFoti, D. / Lipari, D. / Pizzuti, C. / Talia, D. et al. | 2000
- 52
-
Exploiting Dataset Similarity for Distributed MiningParthasarathy, Srinivasan / Ogihara, Mitsunori et al. | 2000
- 53
-
Scalable Model for Extensional and Intensional Descriptions of Unclassified DataPrado, Hércules A. / Hirtle, Stephen C. / Engel, Paulo M. et al. | 2000
- 54
-
Parallel Data Mining of Bayesian Networks from Telecommunications Network DataSterritt, Roy / Adamson, Kenny / Shapcott, C. Mary / Curran, Edwin P. et al. | 2000
- 55
-
Irregular’00 Seventh International Workshop on Solving Irregularly Structured Problems in ParallelRolim, José et al. | 2000
- 56
-
Load Balancing and Continuous Quadratic ProgrammingHager, William W. et al. | 2000
- 57
-
Parallel Management of Large Dynamic Shared Memory Space: A Hierarchical FEM ApplicationCavin, Xavier / Alonso, Laurent et al. | 2000
- 58
-
Efficient Parallelization of Unstructured Reductions on Shared Memory Parallel ArchitecturesBenkner, Siegfried / Brandes, Thomas et al. | 2000
- 59
-
Parallel FEM Simulation of Crack Propagation — Challenges, Status, and PerspectivesCarter, Bruce / Chen, Chuin-Shan / Chew, L. Paul / Chrisochoides, Nikos / Gao, Guang R. / Heber, Gerd / Ingraffea, Antony R. / Krause, Roland / Myers, Chris / Nave, Demian et al. | 2000
- 60
-
Support for Irregular Computations in Massively Parallel PIM Arrays, Using an Object-Based Execution ModelZima, Hans P. / Sterling, Thomas L. et al. | 2000
- 61
-
Executing Communication-Intensive Irregular Programs EfficientlyRamakrishnan, Vara / Scherson, Isaac D. et al. | 2000
- 62
-
Non-Memory-Based and Real-Time Zerotree Building for Wavelet Zerotree Coding SystemsPeng, Dongming / Lu, Mi et al. | 2000
- 63
-
Graph Partitioning for Dynamic, Adaptive and Multi-phase ComputationsKumar, Vipin et al. | 2000
- 64
-
A Multilevel Algorithm for Spectral Partitioning with Extended Eigen-ModelsOliveira, Suely / Soma, Takako et al. | 2000
- 65
-
An Integrated Decomposition and Partitioning Approach for Irregular Block-Structured ApplicationsRantakokko, Jarmo et al. | 2000
- 66
-
Ordering Unstructured Meshes for Sparse Matrix Computations on Leading Parallel SystemsOliker, Leonid / Li, Xiaoye / Heber, Gerd / Biswas, Rupak et al. | 2000
- 67
-
A GRASP for computing approximate solutions for the Three-Index Assignment ProblemAiex, Renata M. / Pardalos, Panos M. / Pitsoulis, Leonidas S. / Resende, Mauricio G. C. et al. | 2000
- 68
-
On Identifying Strongly Connected Components in ParallelFleischer, Lisa K. / Hendrickson, Bruce / Pınar, Ali et al. | 2000
- 69
-
A Parallel, Adaptive Refinement Scheme for Tetrahedral and Triangular GridsStagg, Alan / Hallberg, Jackie / Schmidt, Joseph et al. | 2000
- 70
-
PaStiX: A Parallel Sparse Direct Solver Based on a Static Scheduling for Mixed 1D/2D Block DistributionsHénon, Pascal / Ramet, Pierre / Roman, Jean et al. | 2000
- 71
-
Workshop on Java for Parallel and Distributed ComputingCaromel, Denis / Chaumette, Serge / Fox, Geoffrey / Graham, Peter et al. | 2000
- 72
-
An IP Next Generation Compliant Java™ Virtual MachineChelius, Guillaume / Fleury, Éric et al. | 2000
- 73
-
An Approach to Asynchronous Object-Oriented Parallel and Distributed Computing on Wide-Area SystemsDi Santo, M. / Frattolillo, F. / Russo, W. / Zimeo, E. et al. | 2000
- 74
-
Performance Issues for Multi-language Java ApplicationsMurray, Paul / Smith, Todd / Srinivas, Suresh / Jacob, Matthias et al. | 2000
- 75
-
MPJ: A Proposed Java Message Passing API and Environment for High Performance ComputingBaker, Mark / Carpenter, Bryan et al. | 2000
- 76
-
Implementing Java consistency using a generic, multithreaded DSM runtime systemAntoniu, Gabriel / Bougé, Luc / Hatcher, Philip / MacBeth, Mark / McGuigan, Keith / Namyst, Raymond et al. | 2000
- 77
-
Third Workshop on Bio-Inspired Solutions to Parallel Processing Problems (BioSP3)Rolim, José et al. | 2000
- 78
-
Take Advantage of the Computing Power of DNA ComputersQiu, Z. Frank / Lu, Mi et al. | 2000
- 79
-
Agent surgery: The case for mutable agentsBölöni, Ladislau / Marinescu, Dan C. et al. | 2000
- 80
-
Was Collective Intelligence1 before Life on Earth?Szuba, Tadeusz / Almulla, Mohammed et al. | 2000
- 81
-
Solving Problems on Parallel Computers by Cellular ProgrammingTalia, Domenico et al. | 2000
- 82
-
Multiprocessor Scheduling with Support by Genetic Algorithms - based Learning Classifier SystemNowacki, Jerzy P. / Pycka, Grzegorz / Seredyński, Franciszek et al. | 2000
- 83
-
Viewing Scheduling Problems through Genetic and Evolutionary AlgorithmsRocha, Miguel / Vilela, Carla / Cortez, Paulo / Neves, José et al. | 2000
- 84
-
Dynamic Load Balancing Model: Preliminary Assessment of a Biological Model for a Pseudo-Search EngineWalker, Reginald L. et al. | 2000
- 85
-
A Parallel Co-evolutionary MetaheuristicBachelet, Vincent / Talbi, El-Ghazali et al. | 2000
- 86
-
Neural Fraud Detection in Mobile Phone OperationsBoukerche, Azzedine / Notare, Mirela Sechi Moretti Annoni et al. | 2000
- 87
-
Information Exchange in Multi Colony Ant AlgorithmsMiddendorf, Martin / Reischle, Frank / Schmeck, Hartmut et al. | 2000
- 88
-
A Surface-Based DNA Algorithm for the Expansion of Symbolic DeterminantsQiu, Z. Frank / Lu, Mi et al. | 2000
- 89
-
Hardware Support for Simulated Annealing and Tabu SearchSchneider, Reinhard / Weiss, Reinhold et al. | 2000
- 90
-
Eighth International Workshop on Parallel and Distributed Real-Time SystemsRolim, José et al. | 2000
- 91
-
A Distributed Real Time Coordination ProtocolSha, Lui / Seto, Danbing et al. | 2000
- 92
-
A Segmented Backup Scheme for Dependable Real Time Communication in Multihop NetworksKrishna, Gummadi P. / Pradeep, M. Jnana / Murthy, C. Siva Ram et al. | 2000
- 93
-
Real-Time Coordination in Distributed Multimedia SystemsLimniotes, Theophilos A. / Papadopoulos, George A. et al. | 2000
- 94
-
Supporting Fault-Tolerant Real-Time Applications using the RED-Linux General Scheduling FrameworkLin, Kwei-Jay / Wang, Yi-Chung et al. | 2000
- 95
-
Are COTS suitable for building distributed fault-tolerant hard real-time systems?Chevochot, Pascal / Colin, Antoine / Decotigny, David / Puaut, Isabelle et al. | 2000
- 96
-
Autonomous Consistency Technique in Distributed Database with Heterogeneous RequirementsHanamura, Hideo / Kaji, Isao / Mori, Kinji et al. | 2000
- 97
-
Real-time Transaction Processing Using Two-stage Validation in Broadcast DisksLam, Kwok-wa / Lee, Victor C. S. / Son, Sang H. et al. | 2000
- 98
-
Using Logs to Increase Availability in Real-Time Main-Memory DatabaseNiklander, Tiina / Raatikainen, Kimmo et al. | 2000
- 99
-
Components are from MarsChaudron, M. R. V. / de Jong, E. et al. | 2000
- 100
-
2 + 10 ≻ 1 + 50 !Hansson, Hans / Norström, Christer / Punnekkat, Sasikumar et al. | 2000
- 101
-
A Framework for Embedded Real-time System DesignChoi, Jin-Young / Kwak, Hee-Hwan / Lee, Insup et al. | 2000
- 102
-
Best-effort Scheduling of (m,k)-firm Real-time Streams in Multihop NetworksStriegel, A. / Manimaran, G. et al. | 2000
- 103
-
Predictability and Resource Management in Distributed Multimedia PresentationsMourlas, Costas et al. | 2000
- 104
-
Quality of Service Negotiation for Distributed, Dynamic Real-time SystemsCavanaugh, Charles D. / Welch, Lonnie R. / Shirazi, Behrooz A. / Huh, Eui-nam / Anwar, Shafqat et al. | 2000
- 105
-
An Open Framework for Real-Time Scheduling SimulationKramp, Thorsten / Adrian, Matthias / Koster, Rainer et al. | 2000
- 106
-
5th International Workshop on Embedded/Distributed HPC Systems and Applications (EHPC 2000)Bhatt, Devesh / Welch, Lonnie R. et al. | 2000
- 107
-
A Probabilistic Power Prediction Tool for the Xilinx 4000-Series FPGAOsmulski, Timothy / Muehring, Jeffrey T. / Veale, Brian / West, Jack M. / Li, Hongping / Vanichayobon, Sirirut / Ko, Seok-Hyun / Antonio, John K. / Dhall, Sudarshan K. et al. | 2000
- 108
-
Application Challenges: System Health Management for Complex SystemsHadden, George D. / Bergstrom, Peter / Samad, Tariq / Bennett, Bonnie Holte / Vachtsevanos, George J. / Van Dyke, Joe et al. | 2000
- 109
-
Accommodating QoS Prediction in an Adaptive Resource Management FrameworkHuh, E. / Welch, L. R. / Shirazi, B. A. / Tjaden, B. / Cavanaugh, C. D. et al. | 2000
- 110
-
Network Load Monitoring in Distributed SystemsIslam, Kazi M Jahirul / Shirazi, Behrooz A. / Welch, Lonnie R. / Tjaden, Brett C. / Cavanaugh, Charles / Anwar, Shafqat et al. | 2000
- 111
-
A Novel Specification and Design Methodology Of Embedded Multiprocessor Signal Processing Systems Using High-Performance MiddlewareJanka, Randall S. / Wills, Linda M. et al. | 2000
- 112
-
Auto Source Code Generation and Run-Time Infrastructure and Environment for High Performance, Distributed Computing SystemsPatel, Minesh I. / Jordan, Karl / Clark, Mattew / Bhatt, Devesh et al. | 2000
- 113
-
Developing an Open Architecture for Performance Data MiningPierce, David B. / Rover, Diane T. et al. | 2000
- 114
-
A 90k gate “CLB” for Parallel Distributed ComputingSchulman, Bruce / Pechanek, Gerald et al. | 2000
- 115
-
Power-Aware Replication of Data Structures in Distributed Embedded Real-Time SystemsUnsal, Osman S. / Koren, Israel / Krishna, C. Mani et al. | 2000
- 116
-
Comparison of MPI Implementations on a Shared Memory MachineVan Voorst, Brian / Seidel, Steven et al. | 2000
- 117
-
A Genetic Algorithm Approach to Scheduling Communications for a Class of Parallel Space-Time Adaptive Processing AlgorithmsWest, Jack M. / Antonio, John K. et al. | 2000
- 118
-
Reconfigurable Parallel Sorting and Load Balancing on a Beowulf Cluster: HeteroSortYang, Pamela / Kunau, Timothy M. / Bennett, Bonnie Holte / Davis, Emmett / Wren, Bill et al. | 2000
- 119
-
7th Reconfigurable Architectures Workshop (RAW 2000)Rolim, José et al. | 2000
- 120
-
Run-Time Reconfiguration at Xilinx (invited talk)Guccione, Steven A. et al. | 2000
- 121
-
JRoute: A Run-Time Routing API for FPGA HardwareKeller, Eric et al. | 2000
- 122
-
A Reconfigurable Content Addressable MemoryGuccione, Steven A. / Levi, Delon / Downs, Daniel et al. | 2000
- 123
-
ATLANTIS — A Hybrid FPGA/RISC Based Re-configurable SystemBrosch, O. / Hesser, J. / Hinkelbein, C. / Kornmesser, K. / Kuberka, T. / Kugel, A. / Männer, R. / Singpiel, H. / Vettermann, B. et al. | 2000
- 124
-
The Cellular Processor Architecture CEPRA-1X and its Configuration by CDLHochberger, Christian / Hoffmann, Rolf / Völkmann, Klaus-Peter / Waldschmidt, Stefan et al. | 2000
- 125
-
Loop Pipelining and Optimization for Run Time ReconfigurationBondalapati, Kiran / Prasanna, Viktor K. et al. | 2000
- 126
-
Compiling Process Algebraic Descriptions into Reconfigurable LogicDiessel, Oliver / Milne, George et al. | 2000
- 127
-
Behavioral Partitioning with Synthesis for Multi-FPGA Architectures under Interconnect, Area, and Latency ConstraintsLakshmikanthan, Preetham / Govindarajan, Sriram / Srinivasan, Vinoo / Vemuri, Ranga et al. | 2000
- 128
-
Module Allocation for Dynamically Reconfigurable SystemsZhang, Xue-jie / Ng, Kam-wing et al. | 2000
- 129
-
Augmenting Modern Superscalar Architectures with Configurable Extended InstructionsZhou, Xianfeng / Martonosi, Margaret et al. | 2000
- 130
-
Complexity Bounds for Lookup Table Implementation of Factored Forms in FPGA Technology MappingFeng, Wen yi / Meyer, Fred J. / Lombardi, Fabrizio et al. | 2000
- 131
-
Optimization of Motion Estimator for Run-Time-Reconfiguration ImplementationTanougast, Camel. / Berviller, Yves. / Weber, Serge. et al. | 2000
- 132
-
Constan t-Time Hough Transform On A 3D Reconfigurable Mesh Using Fewer ProcessorsPan, Yi et al. | 2000
- 133
-
Fifth International Workshop on Formal Methods for Parallel Programming: Theory and Applications FMPPTA 2000Sanders, Beverly / Méry, Dominique et al. | 2000
- 134
-
A Method for Automatic Cryptographic Protocol VerificationGoubault-Larrecq, Jean et al. | 2000
- 135
-
Verification Methods for Weaker Shared Memory Consistency ModelsGhughal, Rajnish P. / Gopalakrishnan, Ganesh C. et al. | 2000
- 136
-
Models Supporting Nondeterminism and Probabilistic ChoiceMislove, Michael et al. | 2000
- 137
-
Concurrent Specification And Timing Analysis of Digital Hardware using SDLTurner, Kenneth J. / Argul-Marin, F. Javier / Laing, Stephen D. et al. | 2000
- 138
-
Incorporating Non-functional Requirements into Software ArchitecturesRosa, Nelson S. / Justo, George R. R. / Cunha, Paulo R. F. et al. | 2000
- 139
-
Automatic Implementation of Distributed Systems Formal SpecificationsBranco, Luiz Henrique Castelo / do Prado, Antonio Francisco / de Souza, Wanderley Lopes / Sant’Anna, Marcelo et al. | 2000
- 140
-
Refinement based validation of an algorithm for detecting distributed terminationFilali, Mamoun / Mauran, Philippe / Padiou, Gérard / Quéinnec, Philippe / Thirioux, Xavier et al. | 2000
- 141
-
Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification A Practical ViewCansell, Dominique / Méry, Dominique / Tabacznyj, Christophe et al. | 2000
- 142
-
A Foundation for Composing Concurrent ObjectsBahsoun, Jean-Paul et al. | 2000
- 143
-
Workshop on Optics and Computer Science (WOCS 2000)Rolim, José et al. | 2000
- 144
-
Fault Tolerant Algorithms for a Linear Array with a Reconfigurable Pipelined Bus SystemBourgeois, Anu G. / Trahan, Jerry L. et al. | 2000
- 145
-
Fast and Scalable Parallel Matrix Computations with Optical BusesLi, Keqin et al. | 2000
- 146
-
Pulse-Modulated Vision Chips with Versatile-Interconnected PixelsOhta, Jun / Uehara, Akihiro / Tokuda, Takashi / Nunoshita, Masahiro et al. | 2000
- 147
-
Connectivity Models for Optoelectronic Computing SystemsOzaktas, Haldun M. et al. | 2000
- 148
-
Optoelectronic-VLSI Technology: Terabit/s I/O to a VLSI ChipKrishnamoorthy, Ashok V. et al. | 2000
- 149
-
Three Dimensional VLSI-Scale InterconnectsPrather, Dennis W. et al. | 2000
- 150
-
Present and Future Needs of Free-Space Optical InterconnectsEsener, Sadik / Marchand, Philippe et al. | 2000
- 151
-
Fast Sorting on a Linear Array with a Reconfigurable Pipelined Bus SystemDatta, Amitava / Owens, Robyn / Soundaralakshmi, Subbiah et al. | 2000
- 152
-
Architecture description and prototype demonstration of optoelectronic parallel-matching architectureKagawa, Keiichiro / Nitta, Kouichi / Ogura, Yusuke / Tanida, Jun / Ichioka, Yoshiki et al. | 2000
- 153
-
A Distributed Computing Demonstration System Using FSOI Inter-Processor CommunicationEkman, J. / Berger, C. / Kiamilev, F. / Wang, X. / Spaanenburg, H. / Marchand, P. / Esener, S. et al. | 2000
- 154
-
Optoelectronic Multi-Chip Modules Based on Imaging Fiber Bundle StructuresChiarulli, Donald M. / Levitan, Steven P. et al. | 2000
- 155
-
VCSEL based smart pixel array technology enables chip-to-chip optical interconnectLiu, Yue et al. | 2000
- 156
-
Run-Time Systems for Parallel ProgrammingOlsson, Ron / Kale, Laxmikant V. et al. | 2000
- 157
-
A Portable and Adaptative Multi-Protocol Communication Library for Multithreaded Runtime SystemsAumage, Olivier / Bougé, Luc / Namyst, Raymond et al. | 2000
- 158
-
CORBA Based Runtime Support for Load Distribution and Fault ToleranceBarth, Thomas / Flender, Gerd / Freisleben, Bernd / Grauer, Manfred / Thilo, Frank et al. | 2000
- 159
-
Run-time Support for Adaptive Load BalancingBhandarkar, Milind A. / Brunner, Robert K. / Kalé, Laxmikant V. et al. | 2000
- 160
-
Integrating Kernel Activations in a Multithreaded Runtime System on top of LinuxDanjean, Vincent / Namyst, Raymond / Russell, Robert D. et al. | 2000
- 161
-
DyRecT: Software Support for Adaptive Parallelism on NOWsGodard, Etienne / Setia, Sanjeev / White, Elizabeth et al. | 2000
- 162
-
Fast Measurement of LogP Parameters for Message Passing PlatformsKielmann, Thilo / Bal, Henri E. / Verstoep, Kees et al. | 2000
- 163
-
Supporting flexible safety and sharing in multi-threaded environmentsSamorodin, Steven H. / Pandey, Raju et al. | 2000
- 164
-
A Runtime System for Dynamic DAG ProgrammingWu, Min-You / Shu, Wei / Chen, Yong et al. | 2000
- 165
-
Workshop on Fault-Tolerant Parallel and Distributed Systems (FTPDS’ 00)Rolim, José et al. | 2000
- 166
-
Certification of system architecture dependabilityLevendel, I. et al. | 2000
- 167
-
Computing in the RAIN: A Reliable Array of Independent NodesBohossian, Vasken / Fan, Charles C. / LeMahieu, Paul S. / Riedel, Marc D. / Xu, Lihao / Bruck, Jehoshua et al. | 2000
- 168
-
Fault Tolerant Wide-Area Parallel ComputingWeissman, Jon B. et al. | 2000
- 169
-
Transient Analysis of Dependability/Performability Models by Regenerativ e Randomization with Laplace Transform In versionCarrasco, Juan A. et al. | 2000
- 170
-
FANTOMAS Fault Tolerance for Mobile Agents in ClustersPals, Holger / Petri, Stefan / Grewe, Claus et al. | 2000
- 171
-
Metrics, Methodologies, and Tools for Analyzing Network Fault Recovery Performance in Real-Time Distributed SystemsIrey, P. M. / Chappell, B. L. / Hott, R. W. / Marlow, D. T. / O’Donoghue, K. F. / Plunkett, T. R. et al. | 2000
- 172
-
Consensus Based on Strong Failure Detectors: A Time and Message-Efficient ProtocolGreve, Fabíola / Hurfin, Michel / Macêdo, Raimundo / Raynal, Michel et al. | 2000
- 173
-
Implementation of Finite Lattices in VLSI for Fault-State Encoding in High-Speed NetworksDöring, Andreas C. / Lustig, Gunther et al. | 2000
- 174
-
Building a Reliable Message Delivery System Using the CORBA Event ServiceRamani, Srinivasan / Dasarathy, Balakrishnan / Trivedi, Kishor S. et al. | 2000
- 175
-
Network Survivability Simulation of a Commercially Deployed Dynamic Routing System ProtocolChowdhury, Abdur / Frieder, Ophir / Luse, Paul / Wan, Peng-Jun et al. | 2000
- 176
-
Fault-tolerant Distributed-Shared-Memory on a Broadcast-based Interconnection NetworkHecht, Diana / Katsinis, Constantine et al. | 2000
- 177
-
An Efficient Backup-Overloading for Fault-Tolerant Scheduling of Real-Time TasksAl-Omari, R. / Manimaran, G. / Somani, Arun K. et al. | 2000
- 178
-
Mobile Agents to Automate Fault Management in Wireless and Mobile NetworksPissinou, Niki / Bhagyavati / Makki, Kia et al. | 2000
- 179
-
9th Heterogeneous Computing Workshop (HCW 2000)Raghavendra, Cauligi S. / Prasanna, Viktor K. et al. | 2000