🚀 go-pugleaf

LIBRARY BULLETIN
COMPUTER SCIENCE LIBRARY
3164 A.V. Williams Bldg.
August 9, 1999


New Journals

ACM Transactions on Computer-Human Interaction -- Volume 6, number 1, March 1999

ACM Transactions on Software Engineering and Methodology -- Volume 8, number 3, July 1999

Computer (IEEE) -- Volume 32, number 8, August 1999

IEEE Micro -- Volume 19, number 4, July/August 1999

IEEE Transactions on Parallel and Distributed Systems -- Volume 10, number 7, July 1999

IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews -- Volume 29, number 3, August 1999

Information Processing Letters -- Volume 70, number 4, 28 May 1999

Miscellaneous Journals

APL Quote Quad -- Volume 29, number 1, September 1999

Newsletter of the International Association for Pattern Recognition -- Volume 21, number 3, Summer 1999

Pattern Recognition and Image Analysis -- Volume 9, number 2, April-June 1999

Performance Evaluation Review -- Volume 27, number 2, September 1999

Science -- Volume 285, number 5425, 9 July 1999

Science -- Volume 285, number 5426, 16 July 1999

Science -- Volume 285, number 5427, 23 July 1999

Science -- Volume 285, number 5427, 30 July 1999

Software Engineering Notes -- Volume 24, number 4, July 1999

New Books

CHI 99: The CHI is the Limit, H.1.2 CHI 1999

Deitel & Deitel, Java: How to Prgram, second edition, reference D.3.2 DEI 1998

Marty Hall, Core Web Programming, D.3.2 HAL 1998

ICSE 99: 21st International Conference on Software Engineering, D.2 IEE 1999

Bertrand Meyer, Object-Oriented Software Construction, second edition, D.1.5 MEY 1997

Mmark Nelson, C++ Programmer's Guide to the Standard Template Library, D.3.2 NEL 1995

PODS:  Proceedings of the Eighteenth ACM SOGMOD-SIGACT-SIGART Sympsium on Principles of Database Systems, H.2.4 ACM 1999

POPL '99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, D.3.2 ACM 1999

SIGMETRICS '99: International Conference on Measurement and Modeling of Computer Systens, C.4 ACM 1999

Bjarne Stroustrup, The C++ Programming Language, third edition, D.3.2 STR 1997

New Technical Reports

UOM 4033: Speeding Up Construction of Quadtrees for Spatial Indexing,  by Gisli R. Hjaltason and Hanan Samet

UOM 4034: Building Mosaics from Video Using MPEG Motion Vectors, by Ryan C. Jones, Daniel F. DeMenthon, and David S. Doermann

UOM 4036: Robust Face Recognition Using Symmetric Shape-from-Shading, by Wenyi Zhao and Rama Chellappa

LIBRARY BULLETIN - tables of contents
COMPUTER SCIENCE LIBRARY
3164 A.V. Williams Bldg.
August 9, 1999

ACM Transactions on Computer-Human Interaction
	Volume 6, number 1, March 1999
A software model and specification language for non-WIMP user interfaces 	1
		Robert J. K. Jacob
		Leonidas Deligiannidis
		Stephen Morrison
A partial test of the task-medium fit proposition in a group sup[port system environment 											47
		Bernard C. Y. Tan
		Kwok-kee Wei
		Choon-Ling Sia
		Krishnamurthy S. Raman
Constructing, organizing, and visualizing collections of topically related Web resources 												67
		Loren Terveen
		Will Hill
		Brian Amento

-------------------------------------------------------------------------------

ACM Transactions on Software Engineering and Methodology
	Volume 8, number 3, July 1999
A Hierarchy-Aware Approach to faceted Classification of Object-Oriented Components												215
		E. Damiani
		M. G. Mugini
		C. Bellettini
Estimation of Software Reliability by Stratified Sampling				263
		Andy Podgurski
		Wassim masri
		Yolanda McCleese
		Francis G. Wolff
		Charles Yang
Reifying Variants in Configuration Management					284
		Jean-Marc Jezequel

-------------------------------------------------------------------------------

Computer (IEEE)
	Volume 32, number 8, August 1999
Exposing the Mythical MIPS Year							22
		Robert D. Silverman
The Future of Systems Research							27
		John Hennessy
Guest Editors' Introduction:  Data Mining: From Serendipity to Science		34
		Naren Ramakrishnan
		Ananth Y. Grama
Mining Very Large Databases								38
		Venkatesh Ganti
		Johannes Gehrke
		Raghu Ramakrishnan
Constraint-Based, Multidimensional Data Mining					46
		Jiawei Han
		Laks V.S. Lakshmanan
		Raymond T. Ng
Interactive Data Analysis: The Control Project					51
		Joseph M. Hellerstein
		Ron Avnur
		Andy Chou
		Christian Hidber,
		Chris Olston
		Vijayshankar Raman
		Tali Roth
		Peter J. Haas
Mining the Web's Link Structure							60
		Soumen Chakrabarti
		Byron E. Dom
		S. Ravi Kumar
		Prabhakar Raghavan
		Sridhar Rajagopalan
		Andrew Tomkins
		David Gibson,
		Jon Kleinberg
Chameleon: Hierarchical Clustering Using Dynamic Modeling			68
		George Karypis
		Eui-Hong (Sam) Han
		Vipin Kumar

-------------------------------------------------------------------------------

IEEE Micro
	Volume 19, number 4, July/August 1999
Guest Editor's Introduction:   Introducing Cool Chips				9
		Tadao Nakamura
Deep-Submicron Microprocessor Design Issues Free PDF				11
		Michael J. Flynn
		Patrick Hung
		Kevin W. Rudd
Design Challenges of Technology Scaling						23
		Shekhar Borkar
Micro-RISC Architecture for the Wireless Market					30
		David Ruimy Gonzales
The D30V/MPEG Multimedia Processor						38
		Hidehiro et al.
High-Performance RISC Microprocessors						48
		Jack Choquette
		Mayank Gupta
		Dominic McCarthy
		Jack Veenstra
SuperEnc: MPEG-2 Video Encoder Chip						56
		Mitsuo Ikeda et al.
Validation-Based Development of Dependable Systems				66
		Jean Arlat
		J�rome Bou�
		Yves Crouzet

-------------------------------------------------------------------------------

IEEE Transactions on Parallel and Distributed Systems
	Volume 10, number 7, July 1999
Hypergraph-Partitioning-Based Decomposition for Parallel Sparse-Matrix Vector Multiplication										673
		�.V. �ataly�rek
		C. Aykanat 
Staggered Consistent Checkpointing 							694
		N.H. Vaidya 
Quasi-Synchronous Checkpointing: Models, Characterization, and Classification 	703
		D. Manivannan
		M. Singhal 
Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm Using Colored Petri Nets and Occurrence Graphs with Symmetries 			714
		J.B. J�rgensen
		L.M. Kristensen 
Work-Efficient Routing Algorithms for Rearrangeable Symmetrical Networks 	733
		H. �am
		J.A.B. Fortes 
PSCR: A Coherence Protocol for Eliminating Passive Sharing in Shared-Bus Shared-Memory Multiprocessors 								742
		R. Giorgi
		C.A. Prete 
On the Sizes of Extended Fibonacci Cubes 						764
		V. Scarano 
ERRATUM:  Correction to "Periodically Regular Chordal Rings" 			767

-------------------------------------------------------------------------------

IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
	Volume 29, number 3, August 1999
Development of an End-Use Model for Analyzing Policy Options to Reduce Greenhouse Gas Emissions										317
		M. Kainuma
		Y. Matsuoka
		T. Morita
		G. Hibino 
Intelligent Resource Simulation for an Airport Check-In Counter Allocation System												325
		H. W. Chun
		R. W. T. Mak 
A Prescriptive Production-Distribution Approach for Decision Making in New Product Design											336
		C. A. Whitcomb
		N. Palli
		S. Azarm 
Sufficient Conditions for Inventive Solutions						349
		O. Z. Maimon
		R. Horowitz 
A Neuro Fuzzy Logic Approach to Material Processing				362
		L. Arafeh
		H. Singh
		S. K. Putatunda 
MSS4TQM--A Management Support System for Total Quality Management	371
		E. W. T. Ngai
		T. C. E. Cheng 
Memory Processes and Motor Control in Extreme Environments 			387
		D. J. Newman
		C. E. Lathan 
Sustainable Decision Making: The Role of Decision Support Systems		395
		M. A. Hersh 
VIATO--Visual Interactive Aircraft Trajectory Optimization			409
		K. Virtanen
		H. Ehtamo
		T. Raivio
		R. P. H�m�l�inen 
A Framework for Building Intelligent Manufacturing Systems			422
		V. Devedzic
		D. Radovic 
Temperature Control with a Neural Fuzzy Inference Network			440
		C.-T. Lin
		C.-F. Juang
		C.-P. Li 
Sensor-Based Fuzzy Reactive Navigation of a Mobile Robot Through Local Target Switching										451
		W. L. Xu
		S. K. Tso 
Neural Net-Based Robust Controller Design for Brushless DC Motor Drives	460
		A. Rubaai
		R. Kotaru 
ATM Traffic Management and Congestion Control Using Fuzzy Logic		474
		A. Kandel
		O. Manor
		Y. Klein
		S. Fluss 

-------------------------------------------------------------------------------

Information Processing Letters
	Volume 70, number 4, 28 May 1999
On the complexity of balanced Boolean functions					157
		A. Bernasconi
Finitely representable nested relations						165
		E. Bertino
		B. Catania
		Limsoon Wong 
Arc consistency revisited								175
		Yangjun Chen
Real scaled matching									185
		Amihood Amir
		Ayelet Butman
		Moshe Lewenstein
Finding optimal parallel prefix circuits with fan-out 2 in constant time		191
		Yen-Chun Lin
		Chun-Keng Liu
Two design patterns for data-parallel computation based on master-slave model	197
		Kuo-Chan Huang
		Feng-Jian Wang
		Jyun-Hwei Tsai



Jordan Landes
CS Library