COMPSAC B

119 papers

YearTitle / Authors
1991A business form recognition system.
Arturo Pizano, May-Inn Tan, Naoto Gambo
1991A concurrent programming language Cable and its visualization facility.
Kazuyuki Yoshida, Kazuhiro Goto, Tetsuya Harada, Takashi Imanaga, Kouichi Utsumiya, Kazuyoshi Korida
1991A data compression scheme which achieves good compression for practical use.
Yoshihisa Mano, Yutaka Sato
1991A deadlock detection and resolution algorithm for sequential transaction processing with multiple lock modes.
Young Chul Park, Peter Scheuermann
1991A distributed Smalltalk based on process-object model.
Y. S. Lee, J. H. Huang, Feng-Jian Wang
1991A dynamic strategy for multiple stacks manipulation.
Been-Chian Chien, Wei-Pang Yang
1991A formal approach to the semantic specification of data flow diagrams.
Tong Liu, C. S. Tang, Rui Zhang
1991A general model for non-uniform data access in a database system.
Sujata Banerjee, Victor O. K. Li
1991A high-level tool for parallel program development.
Kenneth J. Danhof, Mehdi R. Zargham
1991A multimedia knowledge-based system.
Tetsuo Sakaguchi, Takehisa Fujita, Shigeo Sugimoto, Koichi Tabata
1991A new control flow representation.
Pierre N. Robillard, Mario Simoneau
1991A parallel object-oriented language A-NETL and its programming environment.
Tsutomu Yoshinaga, Takanobu Baba
1991A prototype concurrent simulation toolkit.
Vaidy S. Sunderam, Vernon Rego
1991A shell for cooperative planning.
N. Kanai, Yoshio Tozawa
1991A software reliability growth model for test-effort management.
Shigeru Yamada, Jun Hishitani, Shunji Osaki
1991A spatial data model underlying human interaction with object-oriented spatial databases.
Eliseo Clementini, Paolino Di Felice, Alessandro D'Atri
1991A symmetric and resilient configuration scheme for multiple name servers.
Amane Nakajima
1991A tasking deadlock detector for Ada programs.
Jingde Cheng, Yoshiaki Kasahara, Kazuo Ushijima
1991A thread facility based on user/kernel cooperation in the XERO operating system.
Shigekazu Inohara, Kazuhiko Kato, Atsunobu Narita, Takashi Masuda
1991A tool for the static optimization of concurrent programs.
Fabrizio Baiardi, Laura Ricci
1991A type system for an object-oriented database system.
Xuequn Wu
1991A visual data manipulation language for a semantic data model.
Takao Miura
1991ABC-a new approach to distributed programming.
David L. Cohn, Arindam Banerji
1991Adding methods to relational database constructs.
Katsumi Tanaka, Norio Sanada
1991An algebraic specification of a reflective language.
Masahito Kurihara, Azuma Ohuchi
1991An approach to reusable software through prototyping and set-oriented languages.
Ernst-Erich Doberkat
1991An automatic debugging approach for logic programming with a method for propagating constraints.
Tetsuji Fukaya, Morio Nagata
1991An experience of software reuse activities.
Sadahiro Isoda
1991An integrated knowledge-based intelligent programming environment for novice programmers.
Haruki Ueno
1991An object-oriented approach to software development for parallel processing systems.
Stephen S. Yau, Xiaoping Jia, Doo-Hwan Bae, Madhan Chidambaram, Gil-Ho Oh
1991An update protocol for an OODB with integrity.
Richard Bigelow, Patrick Thompson, Carl Tsai, Hirohisa Yamaguchi
1991Analyzing and evaluating fundamental design process of checkout system for artificial spacecraft.
Sumio Mochizuki, Akira Yamauchi, Takuya Katayama
1991Application development using Smalltalk and C++.
Toshiyuki Kishi, Rie Shinozaki, Masaaki Hama, Hajime Sawada, Mitsuru Kagawa
1991Approaches to implementation of multiple DRB stations in tightly-coupled computer networks.
K. H. (Kane) Kim, B. J. Min
1991Aspects of mapping tasks onto parallel processing systems.
Howard Jay Siegel, James B. Armstrong, Daniel W. Watson, Wayne G. Nation, Mark Allemang
1991Automated test data generation for distributed software.
Bogdan Korel, Horst F. Wedde, Roger Ferguson
1991CHASE: a bug-locating assistant system.
Takao Shimomura, Sadahiro Isoda
1991Class modules in object-oriented software development.
Jianhua Zhu
1991Compiler techniques to extract parallelism within a nested loop.
Chien-Min Wang, Sheng-De Wang
1991Compiler-integrated program mutation.
Richard A. DeMillo, Edward W. Krauser, Aditya P. Mathur
1991Compiling recursive Prolog programs with list structure into procedural languages.
Young K. Nam, Lawrence J. Henschen
1991Compound document processing system.
Suliman Al-Hawamdeh, Christopher J. C. Loke
1991Conditional transactions: a model of computation for active databases.
Jaideep Srivastava, Kuo-Wei Hwang, Wei-Tek Tsai
1991Criteria for selecting software process models.
Linda C. Alexander, Alan M. Davis
1991DADENT: a cost-effective environment for developing distributed software.
Xiaoming Li, Zhongxiang Jiang, Lijie Jin, Sifei Li
1991Deadlock detection in distributed database systems: a performance evaluation study.
Omran A. Bukhres, Kenneth Magel
1991Decomposition and allocation of flat-structured problems.
Peng Hu, Bogong Su, Chunyi Shi
1991Design of a parallel theorem prover for first order logic.
Wen-Tsuen Chen, Tzren-Ru Chou, Kuen-Rong Hsieh, Huai-Jen Liu
1991Design of a system for software testing and debugging for multiprocessor avionics systems.
James E. Lumpp Jr., Roger K. Shultz, Thomas L. Casavant
1991Design of generalized document viewer using object chain representation.
Nobuhiro Ajitomi
1991Design of reliable broadcast protocol for selectively partially ordering PDUs.
Akihito Nakamura, Makoto Takizawa
1991Designing massively parallel algorithms with Parallaxis.
Thomas Bräunl
1991Developing user interfaces by stimulus-response demonstration.
David Wolber, Gene L. Fisher
1991Development of the parallel inference machine RAP/LOP-WAM and its optimized parallel compiler.
Yaoqing Gao, Dingxing Wang, Meiming Shen, Weiming Zheng, Xiaolin Qiu
1991Dynamic object models with spatial application.
Qing Li, Mike P. Papazoglou, John L. Smith
1991Dynamic spatial query language: a customized query language for object-oriented database systems.
W. S. Luk, Amelia Choi
1991Efficient techniques for deadlock resolution in distributed systems.
Yuan-Chieh Chow, William F. Klostermeyer, Kenneth Luo
1991Estimating recursive query costs for various parallel environments.
Frédéric Andrès, Y. Viegmont
1991Evaluation of OOAD methodologies.
Mohammad A. Ketabchi
1991Execution mode management and CU/PE overlap in an SIMD/SPMD parallel language/compiler.
Mark A. Nichols, Howard Jay Siegel, Henry G. Dietz
1991Experimental evaluation of the cost effectiveness of software reviews.
Shinji Kusumoto, Ken-ichi Matsumoto, Tohru Kikuno, Koji Torii
1991Expert system building tools.
Dick B. Simmons, Terry D. Escamilla, Newton C. Ellis
1991Extending the E-R concepts to capture natural language semantics for database access.
Frank S. C. Tseng, Arbee L. P. Chen, Weipeng Yang
1991Fault analysis based on fault reporting in JSP software development.
Yukio Mohri, Tohru Kikuno
1991Fault-tolerant parallel matrix multiplication with one iteration fault detection latency.
Chul-Eui Hong, Bruce M. McMillin
1991Foolproofing and quality feedback: keys of process-based management.
Takeshi Nakajo
1991Formal and informal approaches for validation.
Tetsuo Tamai
1991Formal specification of software systems using two-level grammar.
Barrett R. Bryant
1991Functional language for enacting software processes.
Katsuro Inoue, Takeshi Ogihara, Hajimu Iida, Minoru Nitta
1991Generating software development environments from the description of product relations.
Hajimu Iida, Yoshihiro Nishimura, Katsuro Inoue, Koji Torii
1991Implicit joins in the structural data model.
Byung Suk Lee, Witold Litwin, Gio Wiederhold
1991Information caching in the execution of logic programs.
Chih-Hao Huang, Jie-Yong Juang
1991Integrated debugging and performance monitoring for parallel programs.
David W. Krumme, Alva L. Couch
1991Melding software processes into software object databases.
Ying Yang
1991Nested report generation for object-oriented databases.
Kunitoshi Tsuruoka
1991Object-oriented methods-why we need them.
Stephen Joseph
1991On formalizing software process description: Consortium's example.
Robert Chi Tau Lai
1991On generating test data from prototypes.
Ren-Juh Lea, Slong Chen, Chyan-Goei Chung
1991Optimal data migration policies in distributed databases.
Tony P. Ng
1991ParC project: practical constructs for parallel programming languages.
R. Govindarajan, Lifu Guo, Sheng Yu, P. Wang
1991Performance analysis of optimistic concurrency control schemes with different rerun policies.
Philip S. Yu, Daniel M. Dias
1991Performance, effectiveness, and reliability issues in software testing.
Aditya P. Mathur
1991Pisa parallel processing project on general-purpose highly-parallel computers.
Fabrizio Baiardi, Marco Danelutto, Roberto Di Meglio, Mehdi Jazayeri, Michael Mackey, Susanna Pelagatti, Fabrizio Petrini, Timothy S. Sullivan, Marco Vanneschi
1991Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, COMPSAC 1991, Tokyo, Japan, 11-13 September, 1991
1991Programming in a mother tongue: philosophy, implementation, practice and effect.
Toshio Souya, Eiichi Hayakawa, Masayuki Honma, Hidehiro Fukushima, Mitaro Namiki, Nobumasa Takahashi, Masaki Nakagawa
1991Protocol validation using a pumping-based approach.
Kuo-Chung Tai, Hong-Fa Ho, Gen-Huey Chen
1991Publishing tools need both: state-oriented and task-oriented version support.
Anja Weber
1991Qualitative reasoning-based parameter tuning on bottleneck of synchronized queueing network.
Kiyoshi Itoh, Shinichi Honiden, Keisuke Shida, Takaaki Konno
1991Quality-time tradeoffs in simulated annealing for VLSI placement.
Srilata Raman, Benjamin W. Wah
1991RT-FRORL: a formal requirements specification language for specifying real-time systems.
Jeffrey J. P. Tsai, Hung-Chin Jang, Karen J. Schellinger
1991Re-affirming support for a transformational approach to software development: theory and practice.
Bryan Ratcliff
1991Requirements engineering metamodel: An integrated view of requirements.
Kathleen A. Jordan, Alan M. Davis
1991SODA: a security model for object-oriented database management systems.
Thomas F. Keefe
1991SOFTON: a flexible software construction model by interface mediation.
Yoshinori Kishimoto, Koichi Yamano
1991SUIT: software user interface design tool.
Nobuko Kishi, Kazuo Satoh, Keiichi Itoh
1991Scalable, parallel performance environments.
Daniel A. Reed
1991Scheduling performance polymorphic computations in real-time systems.
Peng Tu, Kwei-Jay Lin
1991Semiparallel execution of compiled Lisp programs.
Masa-Aki Fukase, Tadao Nakamura
1991Skewed partition-theory and practice [parallel programming].
Chung-Ta King
1991Software engineering measurement: A modular course.
Martin Bush, Meg Russell
1991Software metrics for CASE development.
Graham Tate, June M. Verner
1991Software productivity and quality measurements.
D. Paul Smith, Weider D. Yu, Kiichi Fujino, James R. Hemsley, Gerald J. Knutson, Donald J. Reifer, William B. Smith
1991Software productivity measurements.
Weider D. Yu, D. Paul Smith, Steel T. Huang
1991Software reliability measurements through combination models: approaches, results, and a CASE tool.
Michael R. Lyu, Allen P. Nikora
1991Software reliability model selection.
George J. Knafl, Jerome Sacks
1991Software reuse and CASE tools.
Matthieu Dabin
1991Software reuse trends in the United States.
Rubén Prieto-Díaz
1991Software specification in business terminology.
Jun Ginbayashi, Keiji Hashimoto
1991Specification of user-interfaces using CRUISE/OBSERV.
Aviv Cohen, Shmuel S. Tyszberowicz, Amiram Yehudai
1991Specifications of a general user interface in LOTOS and OBJ.
Deddo Wiersma, Kazuhito Ohmaki, Kokichi Futatsugi
1991Specifications reuse process modeling and case study-based evaluations.
Masao Matsumoto, Satoshi Hayano, Takahiro Kudo, Hideo Yoshida, Shunzo Imai, Kiyoshi Ohshima
1991Standardized object services for complex business application support.
Rao Mikkilineni
1991Synthesizing procedural abstractions from formal specifications.
Betty H. C. Cheng
1991Test consulting system for switching systems.
C. L. Ho, Hisashi Manabe, Hideo Yabe
1991There are no silver bullets! [software engineering].
Michael Harris
1991Timestamping events for inferring 'affects' relation and potential causality.
Mohan Ahuja, Timothy Carlson, Ashwani Gahlot, Deborah Shands
1991Unifying data grouping and knowledge grouping through nested relation based knowledge representation.
Qiming Chen, Yahiko Kambayashi
1991VERT-verification of real-time programs.
Mike Beaven, Brad Elmore, Dan C. Marinescu, Ryan Stansifer
1991Visual knowledge query language as a front-end to relational systems.
Keng L. Siau, Hock Chuan Chan, K. P. Tan