• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 92 matches

• 1990
• 
  E. Accomazzo, M. Ancona, R. Bobbio, C. Cagnassi, L. Paolin:
  Integrating intermediate code optimization with retargetable code generation. Microprocessing and Microprogramming 30(1-5): 475-481 (1990)
• 
  Robert V. Adams:
  Keynote address K4: The state of global printing in the '90s. Microprocessing and Microprogramming 30(1-5): 17 (1990)
• 
  Jong K. Ahn, Song C. Moon:
  Join optimization in distributed databases on broadcast network. Microprocessing and Microprogramming 30(1-5): 637-644 (1990)
• 
  Charles Andre, Luc Fancelli:
  A mixed implementation of a real-time system. Microprocessing and Microprogramming 30(1-5): 397-402 (1990)
• 
  Stefano Antoniazzi, Mirella Mastretti:
  An interactive environment for hardware/software system design at the specification level. Microprocessing and Microprogramming 30(1-5): 545-553 (1990)
• 
  Jari Arkko, Vesa Hirvisalo, Juha Kuusela, Esko Nuutila:
  Supporting testing of specifications and implementations. Microprocessing and Microprogramming 30(1-5): 297-302 (1990)
• 
  Olatz Arregi, Clemente Rodríguez, Amaia Ibarra:
  Evaluation of the optimal strategy for managing the register file. Microprocessing and Microprogramming 30(1-5): 143-150 (1990)
• 
  Antti Auer, Mikko Levanto, Ari Okkonen, Jyrki Okkonen:
  Solution in software crisis. Microprocessing and Microprogramming 30(1-5): 273-280 (1990)
• 
  Michel Auguin, Fernand Boéri, C. Carrière, G. Menez:
  From program to hardware: A parallel architecture compiler. Microprocessing and Microprogramming 30(1-5): 467-474 (1990)
• 
  S. Balakrishnan, S. K. Nandy:
  Quasi dynamic approach to layout compaction. Microprocessing and Microprogramming 30(1-5): 231-236 (1990)
• 
  A. T. Balou, Apostolos Nikolaos Refenes:
  Designing a parallel object-oriented compiler target language (TOOL). Microprocessing and Microprogramming 30(1-5): 457-465 (1990)
• 
  Valmir C. Barbosa, Maria Cristina Silva Boeres:
  An Occam-based evaluation of a parallel version of simulated annealing. Microprocessing and Microprogramming 30(1-5): 85-92 (1990)
• 
  H. Bekker, M. Renardus:
  Design of a transputer network for searching neighbours in M.D. simulations. Microprocessing and Microprogramming 30(1-5): 159-165 (1990)
• 
  T. J. G. Benson, Peter Milligan, N. S. Scott:
  Program development within the mathematician's devil. Microprocessing and Microprogramming 30(1-5): 593-597 (1990)
• 
  A. J. W. M. ten Berg:
  Stepwise decomposition in controlpath synthesis. Microprocessing and Microprogramming 30(1-5): 117-124 (1990)
• 
  J. E. H. M. Bormans, Willem J. Withagen, F. P. M. Budzelaar, M. P. J. Stevens:
  Designing high performance instruction caches in VLSI. Microprocessing and Microprogramming 30(1-5): 135-142 (1990)
• 
  Walter Bragagnini, Paolo Guazzoni, Maurizio Pitalieri, Luisa Zetta:
  Computational logic unit for a microprogrammed data acquisition system: an evaluation prototype. Microprocessing and Microprogramming 30(1-5): 67-74 (1990)
• 
  Peter Buhler:
  The COIN model for concurrent computation and its implementation. Microprocessing and Microprogramming 30(1-5): 577-584 (1990)
• 
  Giacomo Buonanno, A. Burri, Franco Fummi, Donatella Sciuto:
  An approach to a design for testability personal consultant. Microprocessing and Microprogramming 30(1-5): 405-412 (1990)
• 
  Gianpiero Cabodi, Silvano Gai, Matteo Sonza Reorda:
  A transputer-based gate-level fault simulator. Microprocessing and Microprogramming 30(1-5): 529-534 (1990)
• 
  Paolo Camurati, Antonio Lioy, Paolo Prinetto, Matteo Sonza Reorda:
  Assessing the diagnostic power of test pattern sets. Microprocessing and Microprogramming 30(1-5): 413-419 (1990)
• 
  Paolo Camurati, Tiziana Margaria, Paolo Prinetto:
  The OTTER environment for resolution-based proof of hardware correctness. Microprocessing and Microprogramming 30(1-5): 421-428 (1990)
• 
  Gerardo Canfora, Aniello Cimitile, Ugo de Carlini:
  Reverse engineering and data flow diagrams in ADA environment. Microprocessing and Microprogramming 30(1-5): 357-364 (1990)
• 
  Franck Cappello, Jean-Luc Béchennec, Daniel Etiemble:
  A risc central processing unit for a massivelly parallel architecture. Microprocessing and Microprogramming 30(1-5): 33-39 (1990)
• 
  Geoffrey F. Carpenter:
  The synthesis of deadlock-free interprocess communications. Microprocessing and Microprogramming 30(1-5): 695-701 (1990)
• 
  Andrea Clematis, Gabriella Dodero, Vittoria Gianuzzi:
  Recovery meta program in Unix based environment. Microprocessing and Microprogramming 30(1-5): 371-378 (1990)
• 
  Jean-Luc Dekeyser, Philippe Marquet, Philippe Preux:
  Vector addressing processor for direct and indirect accesses. Microprocessing and Microprogramming 30(1-5): 657-664 (1990)
• 
  J. A. Dinklo:
  Keynote address K2: The strategic importance of microcomputing for the business environment. Microprocessing and Microprogramming 30(1-5): 5 (1990)
• 
  Erik F. Dirkx, Frank Verboven, Jacques Tiberghien:
  Distributed simulation of computer networks. Microprocessing and Microprogramming 30(1-5): 215-220 (1990)
• 
  Andrea Domenici:
  Petri nets in logic. Microprocessing and Microprogramming 30(1-5): 193-198 (1990)

skipping 62 more matches