default search action
5th JCIT 1990: Jerusalem
- Joshua Maor, Abraham Peled:
Next Decade in Information Technology: Proceedings of the 5th Jerusalem Conference on Information Technology 1990, Jerusalem, October 22-25, 1990. IEEE Computer Society 1990, ISBN 0-8186-2078-1 - Le Gruenwald, Margaret H. Eich:
Choosing the best storage technique for a main memory database system. 1-10 - Carl Staelin, Hector Garcia-Molina:
File system design using large memories. 11-21 - Yaron Farber, Amnon Barak:
An interleaved file system for a highly distributed MIMD architecture. 22-30 - Amos Israeli, Theodor A. Nissim:
A simulation generator for multiprocessor systems. 32-42 - Reiner W. Hartenstein, Alexander G. Hirschbiel, M. Weber:
Xputers: very high throughput by innovative computing principles. 43-50 - Helge Scheidig, M. F. Schneider, R. Spurk:
An efficient organization for large, network-based multicomputer systems. 51-64 - Richard Zippel:
Programming the data structure accelerator. 65-75 - Harold Abelson, Andrew A. Berlin, Jacob Katzenelson, William H. McAllister, Guillermo Juan Rozas, Gerald Jay Sussman:
The Supercomputer Toolkit and its applications. 76-81 - Andrei Heilper, John M. Marberg:
A special distributed system in a general programming environment. 82-88 - Yitzhak Birk:
Deadlock-avoidance in a page-parallel rasterizer. 89-98 - Eliezer Levy, Abraham Silberschatz:
Log-driven backups: A recovery scheme for large memory database systems. 99-109 - Boleslaw K. Szymanski:
Mutual exclusion revisited. 110-117 - Yolande Berbers, Pierre Verbaeten:
Servers, processes and subprocesses: a critical evaluation. 118-125 - Dror G. Feitelson, Larry Rudolph:
Wasted resources in gang scheduling. 127-136 - Moshe Zviran, William J. Haga:
User authentication by cognitive passwords: an empirical assessment. 137-144 - Nissim Francez, Ira R. Forman:
Interacting processes: a language for coordinated distributed programming. 146-161 - Ralph-Johan Back, Reino Kurki-Suonio:
Superposition and fairness in reactive system refinement. 162-172 - Albert John Camilleri:
Reasoning in CSP via the HOL theorem prover. 173-183 - François Breant:
TAPIOCA: OCCAM rapid prototyping from Petri-net. 184-190 - Algirdas Pakstas:
Methods and tools for modelling the behaviour of information-transport ports in distributed software configurations. 191-194 - Anastassios Gavras, Berthold Butscher, Thomas Luckenbach, Xiangwen Xu:
Bergate-a system for interconnecting local area networks via broadband ISDN. 195-205 - Martina Zitterbart:
Parallelism in transport oriented communication protocols. 206-213 - Coen M. A. Kreuwels:
Electronic data interchange. 214-224 - Assaf Schuster, Yosi Ben-Asher:
Algorithms and optic implementation for reconfigurable networks. 225-235 - Meir M. Lehman:
Software uncertainty and the role of CASE in its minimisation and control. 236-246 - G. R. Lewis:
Some simple models of CASE tool integration. 247-250 - Shun-Tzu Tsai, Chien-Chiao Yang:
Automated retrieval of consistent documentation from requirement analysis to program codes for software maintenance. 251-260 - Georges Grosz, Colette Rolland:
Knowledge support for information system design. 261-268 - Francesca Saglietti:
Location of checkpoints in fault-tolerant software. 270-277 - Juan Carlos Esteva:
Learning to recognize reusable software modules using an inductive classification system. 278-285 - Fred J. Heemstra:
Software cost estimation models. 286-297 - Myuhng Joo Kim, Chu Shik Jhon:
Functional C: an extended functional programming language. 298-302 - Magid Igbaria, Milton Silver:
A compumetrical approach to summarize benchmark results. 303-314 - Saul Amarel:
Artificial intelligence and design. 315-333 - Raj Reddy:
Translating telephone: problems and prospects. 334-335 - Jared L. Darlington:
Logic programming with goal-directed search. 336-344 - Q. S. Gao, S. J. Hou:
Junior Researcher: a discovery system that can solve the N queens problems (N≥4) on a constant computational complexity. 345-347 - Ryuji Tsuchiya, Takahiko Ogino:
A general framework of constraint propagation for diagnostic systems. 348-352 - Efstratios Sarantinos, Peter Johnson:
Generating explanations from question paths. 353-363 - Ki-Seok Kim, Inbum Kim, Heeyeung Hwang:
A study on the recognition of the Korean monothongs using artificial neural net models. 364-371 - Yehuda E. Kalay:
The computability of architectural design. 372-378 - Eric Brill, David M. Magerman, Mitchell Marcus, Beatrice Santorini:
Deducing linguistic structure from the statistics of large corpora. 380-389 - Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi:
What is an inference rule? 391-401 - Rong Lin, Stephan Olariu:
A fast NC algorithm to recognize P4-reducible graphs. 402-413 - Shimon Even, Yachin Pnueli:
How to keep a dynamic distributive directed graph acyclic and yet grant all requests of edge additions. 414-425 - Nachum Dershowitz, Naomi Lindenstrauss:
A parallel implementation of equational programming. 426-435 - Shlomo Moran, Yaron Wolfsthal:
One-page book embedding under vertex-neighborhood constraints. 436-446 - Alexei P. Stolboushkin:
On the expressive power of program schemes with sets. 447-455 - C. S. Yovev:
Evaluation and comparison of text-manipulation systems. 456-466 - Thomas Rauber:
Optimal evaluation of vector expression trees. 467-473 - Gerhard Steinke:
Access control requirements for environmental information knowledge base systems. 474-480 - Martin Dürr, Stefan M. Lang:
Mapping data schemas to MDBMS architecture layers. 481-490 - Yannis Manolopoulos, G. Kapetanakis:
Overlapping B+trees for temporal data. 491-498 - Catriel Beeri:
New directions in database management systems. 500-506 - Yuri Breitbart, Hector Morales, Avi Silberschatz, Glenn R. Thompson:
Multidatabase performance evaluation. 507-519 - Mark Levene, Alexandra Poulovassilis:
The hypernode model and its associated query language. 520-530 - Wolfgang Johannsen:
Integration of different transaction models in federative distributed database systems. 531-540 - Edward Sciore, Michael D. Siegel:
Heuristic-based semantic query optimization. 541-550 - D. Chou, Arie Segev:
SQL query modification algorithms. 551-559 - Fabio Alberto Schreiber:
Notes on real-time distributed database systems stability. 560-564 - Zbyszko Królikowski:
Evaluation and improvement of query processing methods in wide and local area network. 565-575 - Ugur Halici, Asuman Dogac:
Concurrency control in distributed databases through dummy locks. 576-585 - Amy Wohl:
Using information technology. 586-587 - Robert M. Rubin:
Organizing for simplicity: the role of information technology. 589-592 - R. E. Greene:
Safety first [data security]. 593-595 - Harvey Shrednick:
Positioning I/S to achieve world-class quality performance. 596-597 - Irwin J. Sitkin, L. H. Mason:
Ensuring usability: Aetna's experience. 598-599 - Edwin B. Shore:
The road to enterprise excellence. 600-601 - Michael J. Ginzberg, Rolf T. Moulton:
Information technology risk management. 602-608 - Anatol W. Holt:
Coordination: a new field of application for information technology. 609-616 - J. E. Brown, Anthony L. Clapes, E. H. Taylor:
The current status of copyright and patent protection for computer software. 617-629 - P. A. Turner:
COPYCAT: a system for the distribution of copyright cataloging information. 630-638 - Victor Rosenberg:
Desktop research-information management for the scholar. 639-642 - Sylvia Charp:
Trends in using computers in education. 644-646 - Arthur Melmed:
Computer innovation in higher education. 647-649 - William D. Gattis:
Hardware and software compatibility issues [computers in education]. 650-656 - Luis Osin:
Integrating courseware with lessonware [computers in education]. 657-659 - Yaacov J. Katz, Baruch Offir:
Computer assisted instruction and students' social orientations. 660-664 - Martin R. Stytz, Ophir Frieder:
Experience using a dynamic adaptive hidden-surface removal algorithm for volume rendering within a MIMD architecture. 665-676 - Alfons Kemper, Joachim Chriesten:
A benchmark to scale behaviorally object-oriented database systems. 677-687 - Dganit Amitai:
Televisualization: on the role of high-speed communication in the visualization of science. 688-693 - Kan Chen, Bernard A. Galler:
An overview of intelligent vehicle-highway systems (IVHS) activities in North America. 694-701 - Ian Catling, Bob McQueen:
Road transport informatics in Europe-a summary of current developments. 702-715 - Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
An interleaving model for real-time. 717-730 - Xiang Ge, Noah S. Prywes:
Reverse software engineering of concurrent programs. 731-742 - Steven L. Howell, Phillip Q. Hwang, Cuong M. Nguyen:
Expert Design Advisor. 743-756 - Zohar Manna, Amir Pnueli:
A temporal proof methodology for reactive systems. 757-773 - Alexander Belfer, Martin Charles Golumbic:
A combinatorial approach to temporal reasoning. 774-780 - Maik Y. Liberman:
The ACL data collection initiative. 781-786 - Charles T. Meadow:
The making of an information retrieval interface. 787-795
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.