dblp: IPPS/SPDP'98 Workshops (original) (raw)



default search action
- combined dblp search
- author search
- venue search
- publication search
Authors:
- no matches

Venues:
- no matches

Publications:
- no matches


12th IPPS / 9. SPDP 1998 Workshops: Orlando, Florida, USA

jump to- Reconfigurable Architectures Workshop
- Workshop on Run-Time Systems for Parallel Programming
- Workshop on Biologically Inspired Solutions to Parallel Processing Problems
- Workshop on Randomized Parallel Computing
- Workshop on Solving Combinatorial Optimization Problems in Parallel
- Workshop on Personal Computer Based Networks of Workstations
- Workshop on Fault-Tolerant Parallel and Distributed Systems
- Workshop on Formal Methods for Parallel Programming: Theory and Applications
- Workshop on Embedded HPC Systems and Applications
- Workshop on Parallel and Distributed Real-Time Systems

- > Home > Conferences and Workshops > IPPS
- > Home > Conferences and Workshops > SPDP
SPARQL queries 
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as

José D. P. Rolim:
Parallel and Distributed Processing, 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30 - April 3, 1998, Proceedings. Lecture Notes in Computer Science 1388, Springer 1998, ISBN 3-540-64359-1
Reconfigurable Architectures Workshop

Gautam Ghare, Soo-Young Lee:
Dynamic Reconfiguration of a PMMLA for High-Throughput Applications. 1-6

William Fornaciari
, Vincenzo Piuri:
Virtual FPGAs: Some Steps Behind the Physical Barriers. 7-12

Pierpaolo Baglietto, Massimo Maresca, Mauro Migliardi:
A Parallel Algorithm for Minimum Cost Path Computation on Polymorphic Processor Array. 13-18

Jeffrey Walrath, Ranga Vemuri
:
A Performance Modeling and Analysis Environment for Reconfigurable Computers. 19-24

Gordon J. Brebner, Adam Donlin:
Runtime Reconfigurable Routing. 25-30

Iyad Ouaiss, Sriram Govindarajan, Vinoo Srinivasan, Meenakshi Kaul, Ranga Vemuri
:
An Integrated Partitioning and Synthesis System for Dynamically Reconfigurable Multi-FPGA Architectures. 31-36

John Spillane, Henry L. Owen:
Temporal Partitioning for Partially-Reconfigurable-Field-Programmable Gate. 37-42

Don Davis, Michael Barr, Toby Bennett, Stephen Edwards, Jonathan Harris, Ian Miller, Chris Schanck:
A Java Development and Runtime Environment for Reconfigurable Computing. 43-48

Kamlesh Rath, Jian Li:
Synthesizing Reconfigurable Sequential Machines Using Tabular Models. 49-54

Arthur Abnous, Katsunori Seno, Yuji Ichikawa, Marlene Wan, Jan M. Rabaey:
Evaluation of a Low-Power Reconfigurable DSP Architecture. 55-60

Andreas Kirschbaum, Jürgen Becker, Manfred Glesner:
A Reconfigurable Hardware-Monitor for Communication Analysis in Distributed Real-Time Systems. 61-66

Reiner W. Hartenstein, Michael Herz, Thomas Hoffmann, Ulrich Nageldinger:
On Reconfigurable Co-processing Units. 67-72

Stephen M. Scalera, John J. Murray, Steve Lease:
A Mathematical Benefit Analysis of Context Switching Reconfigurable Computing. 73-78

Bharadwaj Pudipeddi, A. Lynn Abbott, Peter M. Athanas:
A Configurable Computing Approach Towards Real-Time Target Tracking. 79-84

Yuichiro Shibata, Hidenori Miyazaki, Xiao-ping Ling, Hideharu Amano:
HOSMII: A Virtual Hardware Integrated with DRAM. 85-90

Jean-Luc Beuchat
, Jacques-Olivier Haenni, Eduardo Sanchez:
Hardware Reconfigurable Neural Networks. 91-98

Carsten Steckel, Martin Middendorf, Hossam A. ElGindy, Hartmut Schmeck:
A Simulator for the Reconfigurable Mesh Architecture. 99-104

Reiner Kolla, Oliver Springauf:
PACE: Processor Architectures for Circuit Emulation. 105-110
Workshop on Run-Time Systems for Parallel Programming

Laxmikant V. Kalé, Milind A. Bhandarkar, Robert Brunner, Josh Yelon:
Multiparadigm, Multilingual Interoperability: Experience with Converse. 111-122

Chu-Cheow Lim, Yoke-Hean Low
, Wentong Cai
, Wen-Jing Hsu, Shell-Ying Huang, Stephen John Turner
:
An Empirical Comparison of Runtime Systems for Conservative Parallel Simulation. 123-134

Tim Rühl, Henri E. Bal:
Synchronizing Operations on Multiple Objects. 135-146

Mohan V. Nibhanupudi, Boleslaw K. Szymanski
:
Runtime Support for Virtual BSP Computer. 147-158

Stefan Petri
, Matthias Bolz, Horst Langendörfer:
Migration and Rollback Transparency for Arbitrary Distributed Applications in Workstation Clusters. 159-170

Hongsuda Tangmunarunkit, Peter Steenkiste
:
Network-Aware Distributed Computing: A Case Study. 171-182

Dimitrios S. Nikolopoulos, Eleftherios D. Polychronopoulos, Theodore S. Papatheodorou:
Efficient Runtime Thread Management for the Nano-Threads Programming Model. 183-194

Jörg Nolte:
A Topology Based Approach to Coordinated Multicast Operations. 195-206
Workshop on Biologically Inspired Solutions to Parallel Processing Problems

José Luis Fernández-Villacañas Martín, J. M. Fatah, Shara Amin:
Computing with Evolving Proteins. 207-215

Luiz Satoru Ochi, Dalessandro Soares Vianna
, Lúcia Maria de A. Drummond
, André O. Victor:
A Parallel Evolutionary Algorithm for the Vehicle Routing Problem with Heterogeneous Fleet. 216-224

Claudia Leopold:
Locality Optimization for Program Instances. 225-233

Jing-Fu Jenq, Wing Ning Li:
Artificial Neural Networks on Reconfigurable Meshes. 234-242

Tadeusz Szuba:
A Molecular Quasi-Random Model of Computations Applied to Evaluate Collective Intelligence. 243-251

Xiangjian He
, Tom Hintz, Ury Szewcow:
Replicated Shared Object Model for Edge Detection with Spiral Architecture. 252-260

Franciszek Seredynski:
Scheduling Tasks of a Parallel Program in Two-Processor Systems with Use of Cellular Automata. 261-269

Tzilla Elrad, Jinlong Lin:
Evolving Processes and Evolution Schedulers for Concurrent Scheduling Controls and Parallel Evolutionary Computation. 270-278

Roman Nossal:
An Evolutionary Approach to Multiprocessor Scheduling of Dependent Tasks. 279-287

Shaharuddin Salleh, Albert Y. Zomaya:
Multiprocessor Scheduling Using Mean-Field Annealing. 288-296

R. O. Rogers, David B. Skillicorn
:
Using the BSP Cost Model to Optimise Parallel Neural Network Training. 297-305

El-Ghazali Talbi, Jean-Marc Geib, Z. Hafidi, Djemai Kebbal:
A Fault-Tolerant Parallel Heuristic for Assignment Problems. 306-314

Consolación Gil, Julio Ortega, Antonio F. Díaz, Maria Dolores Gil Montoya:
Meta-heuristics for Circuit Partitioning in Parallel Test Generation. 315-323
Workshop on Randomized Parallel Computing

Danny Krizanc:
A Survey of Randomness and Parallelism in Comparison Problems. 324-329

David Hsu, Lydia E. Kavraki, Jean-Claude Latombe, Rajeev Motwani:
Capturing the Connectivity of High-Dimensional Geometric Spaces by Parallelizable Random Sampling Techniques. 330-340

Aviad Cohen, Yuri Rabinovich, Assaf Schuster, Hadas Shachnai:
Optimal Bounds on Tail Probabilities - A Simplified Approach. 341-350

Rajeev Raman
:
Random Sampling Techniques in Parallel Computation. 351-360

S. Muthukrishnan:
Randomization in Parallel Stringology. 361-362

Peter J. Varman
:
Randomized Parallel Prefetching and Buffer Management. 363-372

Bala Ravikumar:
Parallel Algorithms for Finite Automata Problems. 373

David S. L. Wei:
Randomized Routing and PRAM Emulation on Parallel Machines. 374-383

Torsten Suel:
On Randomized and Deterministic Schemes for Routing and Sorting on Fixed-Connection Networks. 384-386

Jack J. Dongarra, Jerzy Wasniewski:
High Performance Linear Algebra Package LAPACK90. 387-391

Anders Dessmark, Carsten Dorgerloh, Andrzej Lingas, Juergen Wirtgen:
Ultrafast Randomized Parallel Construction and Approximation Algorithms for Spanning Forests in Dense Graphs. 392-399

Suneeta Ramaswami:
Parallel Randomized Techniques for Some Fundamental Geometric Problems: A Survey. 400-407

Lata Narayanan:
Randomized Algorithms on the Mesh. 408-417

Marc Bumble, Lee D. Coraor:
Implementing Parallelism in Random Discrete Event-Driven Simulation. 418-427

José L. Sánchez, José M. García, Francisco José Alfaro:
Reconfigurable Wormhole Networks: A Realistic Approach. 428-437
Workshop on Solving Combinatorial Optimization Problems in Parallel

Aziz Moukrim, Alain Quilliot:
Scheduling with Communication Delays and Data Routing in Message Passing Architectures. 438-451

Per Kristian Nilsen, Nicolas Prcovic:
Parallel Optimisation in the SCOOP Library. 452-463

Sven Venema, Hong Shen, Francis Suraweera:
NC Algorithms for the Single Most Vital Edge Problem with Respect to All Pairs Shortest Paths. 464-471
Workshop on Personal Computer Based Networks of Workstations

Loïc Prylli, Bernard Tourancheau:
BIP: A New Protocol Designed for High Performance Networking on Myrinet. 472-485

Yoshio Tanaka, Motohiko Matsuda, Makoto Ando, Kazuto Kubota, Mitsuhisa Sato:
COMPaS: A Pentium Pro PC-based SMP Cluster and Its Experience. 486-497

Joachim M. Blum, Thomas M. Warschko, Walter F. Tichy:
PULC: ParaStation User-Level Communication. Design and Overview. 498-509

Stein Jørgen Ryan, Haakon Bryhni:
Eliminating the Protocol Stack for Socket Based Communication in Shared Memory Interconnects. 510-523

Giuseppe Ciaccio, Vincenzo Di Martino:
Porting a Molecular Dynamics Application on a Low-Cost Cluster of Personal Computer Running GAMMA. 524-533

Giuseppe Ciaccio:
Optimal Communication Performance on Fast Ethernet with GAMMA. 534-548

Mark Baker, Geoffrey C. Fox:
MPI on NT: A Preliminary Evaluation of the Available Environments. 549-563
Workshop on Fault-Tolerant Parallel and Distributed Systems

Jeffrey Zabarsky:
Failure Recovery for Distributed Processes in Single System Image Clusters. 564-583

Richard C. Brower:
The QCD Abacus: A Cellular Automata Formulation for Continuous Gauge Symmetries. 584

Ilwoo Chang, Matti A. Hiltunen, Richard D. Schlichting:
Affordable Fault Tolerance Through Adaptation. 585-603

Jean-Charles Fabre:
Design and Implementation of the FRIENDS System. 604-622

Ke Huang, Jie Wu, Eduardo B. Fernández:
A Generalized Forward Recovery Checkpointing Scheme. 623-643

Christof Fetzer, Flaviu Cristian:
Derivation of Fail-Aware Membership Service Specifications. 644-663

Shivakant Mishra, Christof Fetzer, Flaviu Cristian:
The Timewheel Group Membership Protocol. 664-680

Bader Almohammad, Bella Bose:
Fault-Tolerant Broadcasting in Toroidal Networks. 681-692

Andreas C. Döring, Wolfgang Obelöer, Gunther Lustig, Erik Maehle:
A Flexible Approach for a Fault-Tolerant Router. 693-713

Lev Zakrevski, Mark G. Karpovsky:
Fault-Tolerant Message Routing for Multiprocessors. 714-730

M. Rooholamini, Seyed H. Hosseini:
Self-Testing Fault-Tolerant Real-Time Systems. 731-741

Francesco Quaglia, Bruno Ciciani, Roberto Baldoni:
Checkpointing Protocols in Distributed Systems with Mobile Hosts: A Performance Analysis. 742-755

Saad Biaz, Nitin H. Vaidya:
Performance Analysis of a Fault-Tolerant Scheme for Location Management of Mobile Hosts. 756-769

Charles O. Shields Jr., Vikas Jain, Simeon C. Ntafos, Ravi Prakash
, S. Venkatesan:
Fault Tolerant Mobility Planning for Rapidly Deployable Wireless Networks. 770-789
Workshop on Formal Methods for Parallel Programming: Theory and Applications

David B. Skillicorn
:
Building BSP Programs Using the Refinement Calculus. 790-795

Ruben Gamboa:
Mechanically Verifying the Correctness of the Fast Fourier Transform in ACL2. 796-806

Jean-Paul Bodeveix, Mamoun Filali:
On the Automatic Validation of Parameterized Unity Programs. 807-819

Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec:
Tailoring UNITY to Distributed Program Design. 820-832

Xavier Thirioux:
Automatically Proving UNITY Safety Properties with Arrays and Quantifiers. 833-843

Berna L. Massingill:
Experiments with Program Parallelization Using Archetypes and Stepwise Refinement. 844-856

Ratan Nalumasu, Ganesh Gopalakrishnan
:
Deriving Efficient Cache Coherence Protocols through Refinement. 857-870

Gruia-Catalin Roman, Peter J. McCann:
An Introduction to Mobile UNITY. 871-880

Jayadev Misra:
An Object Model for Multiprogramming. 881-889

K. Mani Chandy, Paolo A. G. Sivilotti, Joseph Kiniry:
A Cottage Industry of Software Publishing: Implications for Theories of Composition. 890-899
Workshop on Embedded HPC Systems and Applications

Jeffrey T. Draper, Jay Block, Jeff Koller, Craig S. Steele:
Thermal Management in Embedded Systems Using MEMS. 900-901

Daniel Scherrer, Hans Eberle:
A Scalable Multiprocessor for Real-Time Signal Processing. 902-907

Craig S. Steele, Jeffrey T. Draper, Jeff Koller:
Safety Net: Secure Communications for Embedded High-Performance Computing. 908-912

Oliver Diessel, Hossam A. ElGindy:
Partial Rearrangements of Space-Shared FPGAs. 913-918

Vijay Lakamraju, Zahava Koren, Israel Koren, C. Mani Krishna:
Measuring the Vulnerability of Interconnection Networks in Embedded Systems. 919-924

Samuel H. Russ:
An Architecture for Rapid Distributed Fault Tolerance. 925-930

Binoy Ravindran, Lonnie R. Welch, Carl Bruggeman, Behrooz A. Shirazi, Charles Cavanaugh:
A Resource Management Model for Dynamic, Scalable, Dependable, Real-Time Systems. 931-936

Myungho Lee, Wenheng Liu, Viktor K. Prasanna:
A Mapping Methodology for Designing Software Task Pipelines for Embedded Signal Processing. 937-944

R. Joseph Fogler, Thomas Robey, Mark Young:
Toward Embedded Development from Advanced Khoros. 945-952

Jürgen Nützel, Bernd Däne, Wolfgang Fengler:
Object Nets for the Design and Verification of Distributed and Embedded Applications. 953-962

Steve Kubica, Thomas Robey, Chris Moorman:
Data Parallel Programming with the Khoros Data Services Library. 963-968

Mike Krueger:
A Development Tool Environment for Configuration, Build, and Launch of Complex Applications. 969-978

Jack M. West, John K. Antonio:
Simulation of the Communication Time for a Space-Time Adaptive Processing Algorithm on a Parallel Embedded System. 979-986

Jeffrey T. Muehring, John K. Antonio:
Optimal Configuration of Compute Nodes for Synthetic Aperture Radar Processing. 987-993
Workshop on Parallel and Distributed Real-Time Systems

José R. P. Ribeiro, Nilton C. da Silva, Célio Estevan Morón:
A Visual Environment for the Development of Parallel Real-Time Programs. 994-1014

Javier García, José Luis Díaz de Arriba
, Joaquín Entrialgo, Daniel F. García:
Performance Analysis of Parallel Embedded Real Time Systems Based on Measurement and Visualization. 1015-1024

Xian-He Sun:
Performance Range Comparison via Crossing Point Analysis. 1025-1036

Vesna Mincev, Dragan Milicev:
A Tree-Driven Multiple-Rate Model of Time Measuring in Object-Oriented Real-Time Systems. 1037-1046

Tatsuo Nakajima:
Resource Reservation for Adaptive QOS Mapping in Real-Time Mach. 1047-1056

Reiner Lichtenecker, Klaus Gotthardt, Janusz Zalewski:
Automated Verification of Communication Protocols Using CCS and BDDs. 1057-1066

Martin Horauer, Ulrich Schmid, Klaus Schossmaier:
NTI: A Network Time Interface M-Module for High-Accuracy Clock-Synchronization. 1067-1076

Luciano Paschoal Gaspary, Maria Janilce B. Almeida:
Modeling and Validation Support for Interactive Networked Multimedia Applications. 1077-1087

Mohammad Ali Livani, Jörg Kaiser:
EDF Consensus on CAN Bus Access for Dynamic Real-Time Applications. 1088-1097

Robert Haimes, Kirk E. Jordan:
Using PVM and MPI for Co-processed, Distributed and Parallel Scientific Visualization. 1098-1105

Zahava Koren, Israel Koren, C. Mani Krishna:
Surge Handling as a Measure of Real-Time System Dependability. 1106-1116

Sang Hyuk Son:
Partial Security and Timeliness in Real-Time Database Systems. 1117-1120

Kenji Ishida, Kitsutaro Amano:
A Synthesis Method for Fault-Tolerant Multicast Routing Protocol. 1121-1130

Christoph Günzel, Falko Riemenschneider, Juergen Wirtgen:
Improved Videotransmission over Lossy Channels Using Parallelization. 1131-1139

Ajay D. Kshemkalyani
:
Testing of Synchronization Conditions for Distributed Real-Time Applications. 1140-1152

Philip M. Irey IV, Robert W. Hott, David T. Marlow:
An Architecture for Network Resource Monitoring in a Distributed Environment. 1153-1163

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from
to the list of external document links (if available).
load links from unpaywall.org
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the
of the Internet Archive (if available).
load content from archive.org
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from
,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from
and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from
.
load data from openalex.org
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:






