default search action
HICSS 1995: Kihei, Maui, Hawaii, USA
- 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA. IEEE Computer Society 1995, ISBN 0-8186-6945-4
Volume 1
High Performance Computing and I/O Systems
- Keying Wu, P. K. H. Ng, Xing Dong Jia, Richard M. M. Chen, A. M. Layfield:
Performance tuning of a multiprocessor sparse matrix equation solver. 4-13 - Ireneusz Karkowski:
Architectural synthesis with possibilistic programming. 14-22 - Glenn Jennings:
Symbolic incompletely specified functions for correct evaluation in the presence of indeterminate input values. 23-31 - Dejan Raskovic, Emil Jovanov, Aleksandar Janicijevic, Veljko M. Milutinovic:
An implementation of hash based ATM router chip. 32-40 - Catherine H. Gebotys, Robert J. Gebotys:
Optimized mapping of video applications to hardware-software for VLSI architectures. 41-48 - Oleg A. Panfilov:
Performance analysis of RAID-5 disk arrays. 49-60 - Kuei Yu Wang, Dan C. Marinescu:
Correlation of the paging activity of individual node programs in the SPMD execution mode. 61-73
Reflective Memory and Distributed Shared Memory Architectures for OLTP
- Jelica Protic, Milo Tomasevic, Veljko M. Milutinovic:
A survey of distributed shared memory systems. 74-84 - Stephen Lucci, Izidor Gertner, Anil Gupta, Uday Hegde:
Reflective-memory multiprocessor. 85-94 - Mark Natale, Mark Baker, Roger Collins, David Wilson, Stephen Lucci, Izidor Gertner:
Pentium MPP for OLTP applications. 95-102 - Nicos Vekiarides:
Fault-tolerant disk storage and file systems using reflective memory. 103-113 - Mark Russinovich, Zary Segall:
Application-transparent checkpointing in Mach 3.O/UX. 114-123 - Greg Schaffer:
MPP UNIX enhancements for OLTP applications. 124-133 - Mark Aldred, Ilya Gertner, Stephen McKellar:
A distributed lock manager on fault tolerant MPP. 134-136 - Gilberto Arnaiz:
Tuning Oracle7 for nCUBE. 137-139 - Milan M. Jovanovic, Milo Tomasevic, Veljko M. Milutinovic:
A simulation-based comparison of two reflective memory approaches. 140-152
Instruction Level Parallelism
- Instruction Level Parallelism. 151-152
- Siamak Arya, Howard Sachs, Sreeram Duvvuru:
An architecture for high instruction level parallelism. 153-162 - John G. Cleary, Murray Pearson, Husam Kinawi:
The architecture of an optimistic CPU: the WarpEngine. 163-172 - Sreeram Duvvuru, Siamak Arya:
Evaluation of a branch target address cache. 173-180 - Thomas Scholz, Michael Schäfers:
An improved dynamic register array concept for high-performance RISC processors. 181-190 - Marc Tremblay, Bill Joy, Ken Shin:
A three dimensional register file for superscalar processors. 191-201 - Chi-Hung Chi, Chi-Sum Ho, Siu-Chung Lau:
Reducing memory latency using a small software driven array cache. 202-210 - Roger A. Bringmann, Scott A. Mahlke, Wen-mei W. Hwu:
A study of the effects of compiler-controlled speculation on instruction and data caches. 211-220 - J. Stan Cox, David P. Howell, Thomas M. Conte:
Commercializing profile-driven optimization. 221-228 - Lizy Kurian John, Vinod Reddy, Paul T. Hulina, Lee D. Coraor:
A comparative evaluation of software techniques to hide memory latency. 229-241
Scalable Shared-Memory Architectures
- Introduction. 240-241
- Mårten Björkman, Fredrik Dahlgren, Per Stenström:
Using hints to reduce the read miss penalty for flat COMA protocols. 242-251 - Ian Watson, Alasdair Rawsthorne:
Decoupled pre-fetching for distributed shared memory. 252-261 - Alexandre E. Eichenberger, Santosh G. Abraham:
Modeling load imbalance and fuzzy barriers for scalable shared-memory multiprocessors. 262-271 - Igor Tartalja, Veljko M. Milutinovic:
A survey of software solutions for maintenance of cache consistency in shared memory multiprocessors. 272-287
Low Energy ILP Processors
- Thomas D. Burd, Robert W. Brodersen:
Energy efficient CMOS microprocessor design. 288-297 - John D. Bunda, Donald S. Fussell, William C. Athas:
Energy-efficient instruction set architecture for CMOS microprocessors. 298-305 - Ching-Long Su, Alvin M. Despain:
Cache designs for energy efficiency. 306-315 - Priyadarsan Patra, Donald S. Fussell:
Power-efficient delay-insensitive codes for data transmission. 316-323 - Thomas M. Conte, Kishore N. Menezes, Sumedh W. Sathaye:
A technique to determine power-efficient, high-performance superscalar processors. 324-333
Volume 2
Parallel Algorithms
- Paraskevi Fragopoulou, Selim G. Akl:
Fault tolerant communication algorithms on the star network using disjoint paths. 4-13 - Katalin Friedl, Shi-Chun Tsai:
Recycling random bits in parallel. 14-19 - Ernst W. Mayr:
Scheduling interval orders in parallel. 20-28 - Josyula R. Rao:
Eventual determinism: using probabilistic means to achieve deterministic ends. 29-38 - Dimitrios Kagaris, Spyros Tragoudas, Grammati E. Pantziou, Christos D. Zaroliagis:
Quickest paths: parallelization and dynamization . 39-40 - Ralf Diekmann, Reinhard Lüling, Burkhard Monien, Carsten Spräner:
A parallel local-search algorithm for the k-partitioning problem. 41-50 - Zhiyong Li, Peter Mills, John H. Reif:
Models and resource metrics for parallel and distributed computation. 51-60 - Bruce M. Maggs, Lesley R. Matheson, Robert Endre Tarjan:
Models of parallel computation: a survey and synthesis. 61-72
Partitioning and Scheduling in Parallel and Distributed Systems
- Zbigniew Chamski:
Beyond convexity: scanning 'non-convex polyhedra'. 73-82 - Sangho Ha, Sangyong Han, Heunghwan Kim:
Partitioning a lenient parallel language into sequential threads. 83-92 - Wesley K. Kaplow, William Maniatty, Boleslaw K. Szymanski:
Impact of memory hierarchy on program partitioning and scheduling. 93-102 - Qi Ning, Vincent Van Dongen, Guang R. Gao:
Automatic data and computation decomposition for distributed memory machines. 103-112 - Michel Cosnard, Michel Loi:
Automatic task graph generation techniques. 113-122 - Kleanthis Psarris, Santosh Pande:
Classical dependence analysis techniques: sufficiently accurate in practice. 123-132 - Ben Lee, Chae Shin, Ali R. Hurson:
A strategy for scheduling partially ordered program graphs onto multicomputers. 133-142 - Stefan Ronngren, Behrooz A. Shirazi:
Static multiprocessor scheduling of periodic real-time tasks with precedence constraints and communication costs. 143-152 - Greet Bilsen, Rudy Lauwereins, J. A. Peperstraete:
Compile-time scheduling with resource-constraints. 153-162 - Yung-Kang Chu, I-Ling Yen, Diane T. Rover:
Guiding processor allocation with estimated execution time for mesh connected multiple processor systems. 163-172 - Atsushi Hori, Munenori Maeda, Yutaka Ishikawa, Takashi Tomokiyo, Hiroki Konaka:
A scalable time-sharing scheduling for partitionable distributed memory parallel machines. 173-182 - Emile Haddad:
Optimal load distribution for asynchronously scheduled homogeneous multiprocessor and distributed systems. 183-184 - Bradley L. Noble, Gregory D. Peterson, Roger D. Chamberlain:
Performance of synchronous parallel discrete-event simulation. 185-186 - Kelvin K. Yue, David J. Lilja:
Parameter estimation for a generalized parallel loop scheduling algorithm. 187-191
Program Development tools and Environments for Parallel and Distributed systems
- Olav Hansen:
A method for optimizing large scale parallel applications. 192-201 - Tim Collins, James C. Browne:
MaTRiX++: an object-oriented environment for parallel high-performance matrix computations. 202-211 - David Feldcamp, Alan Wagner:
Using the Parsec environment to implement a high-performance processor farm. 212-221 - Thomas Wolff:
Transparently distributing objects with inheritance. 222-231 - Vijay K. Garg, Craig M. Chase, J. Roger Mitchell, Richard B. Kilgore:
Detecting conjunctive channel predicates in a distributed programming environment. 232-241 - Christian Clémençon, Akiyoshi Endo, Josef Fritscher, Andreas Müller, Roland Rühl, Brian J. N. Wylie:
The "Annai" environment for portable distributed parallel programming. 242-251 - Robert Hood, Doreen Cheng:
Accommodating heterogeneity in a debugger-a client-server approach. 252-253 - Keng Ng, Jeff Kramer, Jeff Magee, Naranker Dulay:
The Software Architect's Assistant-a visual environment for distributed programming. 254-263 - Gabriele Kotsis, Florian Sukup:
Efficiency evaluation of selected parallelization tools. 264-265 - Isabelle Attali, Denis Caromel, Andrew L. Wendelborn:
From a formal dynamic semantics of Sisal to a Sisal environment. 266-267 - Thomas E. Cheatham, Amr F. Fahmy, Dan C. Stefanescu, Leslie G. Valiant:
Bulk synchronous parallel computing-a paradigm for transportable software. 268-275 - Alois Ferscha, James Johnson:
N-MAP: a virtual processor discrete event simulation tool for performance prediction in the CAPSE environment. 276-288
Directions in Software Engineering for Parallel Systems
- Helmar Burkhart, Stephan Gutzwiller:
Software reuse and portability of parallel programs. 289-298 - Guido Wirtz:
Modularization, re-use and testing for parallel message-passing programs. 299-308 - Rainer Weinreich, Reinhold Plösch:
Prototyping of parallel and distributed object-oriented systems: the PDC model and its environment. 309-318 - George R. Ribeiro-Justo:
A rigorous method for the constructive design of parallel and distributed programs. 319-328 - Sudhir Aggarwal, Sandeep Mitra, Sanjay S. Jagdale:
DCCA: a versatile paradigm for the description and development of concurrent communicating systems. 329-338 - Carl I. Birkinshaw, Peter R. Croll:
Modelling the client-server behaviour of parallel real-time systems using Petri nets. 339-348 - Christian Scheidler, Lorenz Schäfers, Ottmar Krämer-Fuhrmann:
Software engineering for parallel systems: the TRAPPER approach. 349-358 - Naoshi Uchihira, Shinichi Honiden:
Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE. 359-368 - Xianwu Ma, Tom Hintz:
Re-Vision: a methodology and tool for parallel computations. 369-378 - Matthew Haines, A. P. Wim Böhm:
An initial comparison of implicit and explicit programming styles for distributed memory multiprocessors. 379-391
Performance Evaluation and Prediction of Parallel and Distributed Systems
- John L. Gustafson, Quinn Snell:
HINT: A new way to measure computer performance. 392-401 - John A. Keane, T. N. Franklin, R. Dipper, Andrew J. Grant, R. Sumner, Ming Q. Xu:
Benchmarking financial database queries on a parallel machine. 402-411 - Henk Jonkers, Arjan J. C. van Gemund, Gerard L. Reijns:
A probabilistic approach to parallel system performance modelling. 412-421 - Gregory D. Peterson, Roger D. Chamberlain:
Stealing cycles: Can we get along? 422-441 - Abdul Waheed, Vincent F. Melfi, Diane T. Rover:
A model for instrumentation system management in concurrent computer systems. 442-443 - Arjan J. C. van Gemund, Henk Jonkers, Gerard L. Reijns:
Performance modeling of parallel systems with flexible precision. 444-445 - Mark J. Clement, Michael J. Quinn:
Multivariate statistical techniques for parallel performance prediction. 446-455 - Xian-He Sun, Jianping Zhu:
Performance prediction of scalable computing: a case study. 456-468
Fault Tolerance in Distributed/Parallel Systems
- Marcelo M. de Azevedo, Nader Bagherzadeh, Shahram Latifi:
Fault-diameter of the star-connected cycles interconnection network. 469-478 - Sabine R. Öhring, Falguni Sarkar, Sajal K. Das, Dirk H. Hohndel:
Cayley graph connected cycles: A new class of fixed-degree interconnection networks. 479-488 - Amiya Nayak, Nicola Santoro, Quanhu Xue:
Efficient reconfiguration technique for redundant ring networks. 489-498 - Toshinori Yamada, Koji Yamamoto, Shuichi Ueno:
Fault-tolerant graphs for hypercubes and tori. 499-505 - Toshibumi Seki, Tetsuo Hasegawa, Yasukuni Okataku, Shinsuke Tamura:
A fault-tolerant architecture based on autonomous replicated objects. 506-515 - Krishna M. Kavi, Frederick T. Sheldon, Behrooz A. Shirazi, Ali R. Hurson:
Reliability analysis of CSP specifications using Petri nets and Markov processes. 516-524 - Pierre Sens:
The performance of independent checkpointing in distributed systems. 525-536
Communication in Parallel and Distributed Systems
- Linda Gardner, Zevi Miller, Dan Pritikin, Ivan Hal Sudborough:
Embedding hypercubes into pancake, cycle prefix and substring reversal networks. 537-545 - Marie-Claude Heydemann, Jaroslav Opatrny, Dominique Sotteau:
Embeddings of complete binary trees into star graphs with congestion 1. 546-554 - Frank Thomson Leighton, Bruce M. Maggs:
Fast algorithms for finding O(congestion+dilation) packet routing schedules. 555-563 - Krzysztof Diks, Andrzej Pelc:
Broadcasting with universal lists. 564-573 - Christine Garcia, Claudine Peyrat:
Broadcasting in an n-grid with a given neighborhood template. 574-583 - Pierre Fraigniaud, Joseph G. Peters:
Structured communication in torus networks. 584-593 - Yoshitaka Shibata, Naoya Seta, Shogo Shimizu:
Media synchronization protocols for packet audio-video system on multimedia information networks. 594-601 - B. Bayerdorffer:
Broadcast Time Warp. 602-611 - Özalp Babaoglu, Renzo Davoli, Luigi-Alberto Giachini, Mary Gray Baker:
RELACS: A communications infrastructure for constructing reliable applications in large-scale distributed systems. 612-621 - Hagit Attiya, Shlomi Dolev, Jennifer L. Welch:
Connection management without retaining information. 622-634
Distribution and Concurrency in Persistent Systems
- Zhixue Wu, Ken Moody, Jean Bacon, Robert J. Stroud:
Data consistency in a distributed persistent object system. 635-644 - Shigekazu Inohara, Yoji Shigehata, Keitaro Uehara, Hajime Miyazawa, Kouhei Yamamoto, Takashi Masuda:
Page-based optimistic concurrency control for memory-mapped persistent object systems. 645-654 - Colin Allison, Mike Livesey:
Persistent SR: Adding persistence to concurrency. 655-664 - Rasool Jalili, Frans A. Henskens:
Using directed graphs to describe entity dependency in stable distributed persistent stores. 665-674 - Bernd Irlenbusch, Jörg Kaiser:
Towards a resilient shared memory concept for distributed persistent object systems. 675-684 - Ashok Malhotra:
Working with alien objects: an object oriented viewpoint. 685-694 - James Leslie Keedy:
Is distribution a genuine problem for persistent systems or is addressing the real problem? 695-706
Object Oriented Multidatabase Systems
- Evaggelia Pitoura:
Extending an object-oriented programming language to support the integration of heterogeneous database systems. 707-716 - Pamela Drew, Calton Pu:
Asynchronous consistency restoration under epsilon serializability. 717-726 - Gerti Kappel, Birgit Pröll, Stefan Rausch-Schott, Werner Retschitzegger:
TriGSflow: Active object-oriented workflow management. 727-736
Volume 3
Decision Support and Knowledge-Based Systems
- Ritu Agarwal, Prabuddha De, Charles E. Wells:
Cooperative distributed problem solving: an investigation in the domain of jobshop scheduling. 4-12 - Jean-Pierre Corriveau:
A time-constrained architecture for cognition. 13-22 - Himawan Gunadhi, Kwang-Hui Lim, Wee-Yong Yeong:
PACE: a planning advisor on curriculum and enrolment. 23-31 - William L. Kuechler Jr., Nina Lim, Vijay K. Vaishnavi:
A smart object approach to hybrid knowledge representation and reasoning strategies. 32-41 - Pierre Lévine, Jean-Charles Pomerol:
The role of the decision maker in DSSs and representation levels. 42-51 - Stefan Spieck, Mark Weigelt, Jürgen Falk, Peter Mertens:
Decentralized problem solving in logistics and production with partly intelligent agents and comparison with alternative approaches. 52-61 - Boris Stilman:
Linguistic geometry: a new paradigm for intelligent systems. 62-72 - Pirkko Walden, Christer Carlsson:
Hyperknowledge and expert systems: a case study of knowledge formation processes. 73-90
Executive Information Systems
- Dorothy E. Leidner, Sven A. Carlsson, Joyce J. Elam:
A cross-cultural study of executive information systems. 91-100 - Graham Pervan, James Meneely:
Implementing and sustaining executive information systems: influencing factors in a mining industry context. 101-109