Single-faced Boolean functions and their minimization (English)
- New search for: Wang, Y.
- New search for: McCrosky, C.
- New search for: Song, X.
- New search for: Wang, Y.
- New search for: McCrosky, C.
- New search for: Song, X.
In:
COMPUTER JOURNAL
;
44
;
280-291
;
2001
-
ISSN:
- Article (Journal) / Print
-
Title:Single-faced Boolean functions and their minimization
-
Contributors:
-
Published in:COMPUTER JOURNAL ; 44 ; 280-291
-
Publisher:
- New search for: BRITISH COMPUTER SOCIETY
-
Publication date:2001-01-01
-
Size:12 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 510.78 / 510
- Further information on Dewey Decimal Classification
-
Classification:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents – Volume 44
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
A Conceptual Framework for Agent Definition and DevelopmentLuck, Michael / d'Inverno, Mark et al. | 2001
- 21
-
Efficient Verification of a Multicast Protocol for Mobile ComputingAnastasi, Giuseppe / Bartoli, Alberto / De Francesco, Nicoletta / Santone, Antonella et al. | 2001
- 31
-
Determining the Worst-case Synchronous Message Response Time in FDDI NetworksZhang, Sijing / Lee, E. Stewart / Burns, Alan et al. | 2001
- 42
-
Workflow Concurrency ControlPuustjärvi, Juha et al. | 2001
- 54
-
A Logic of Access ControlCrampton, Jason / Loizou, George / O'Shea, Greg et al. | 2001
- 67
-
Turing Memorial LectureDonofrio, Nick et al. | 2001
- 75
-
Distributed Location Databases for Tracking Highly Mobile ObjectsPitoura, Evaggelia / Fudos, Ioannis et al. | 2001
- 92
-
Consistent Checkpointing for Transaction SystemsBaldoni, Roberto / Quaglia, Francesco / Raynal, Michel et al. | 2001
- 101
-
An Algorithm for the 2-Median Problem on Two-Dimensional MeshesLau, F. C. M. / Cheng, P. K. W. / Tse, S. S. H. et al. | 2001
- 109
-
Finite Approximations for Model Checking Non-finite-state ProcessesDe Francesco, N. / Fantechi, A. / Gnesi, S. / Inverardi, P. et al. | 2001
- 124
-
Liveness for Synchronized Choice Petri NetsChao, Daniel Y. / Nicdao, Jose A. et al. | 2001
- 137
-
Erratum - A logic of access controlCrampton, J. et al. | 2001
- 151
-
Introduction to Davies' paperWare, Willis H. et al. | 2001
- 152
-
An Historical Study of the Beginnings of Packet SwitchingDavies, D. W. et al. | 2001
- 163
-
Precedence Constrained Scheduling: A Case in PPolitopoulos, Kostas / Georgakopoulos, George F. / Tsanakas, Panagiotis et al. | 2001
- 174
-
BSP-style Computation: a Semantic InvestigationStewart, A. / Clint, M. et al. | 2001
- 186
-
A Context-sensitive Graph Grammar Formalism for the Specification of Visual LanguagesZhang, Da-Qian / Zhang, Kang / Cao, Jiannong et al. | 2001
- 201
-
Unified Protocols of Concurrency Control and Recovery in Distributed Object-based DatabasesLee, SangKeun / Hwang, Chong-Sun et al. | 2001
- 214
-
Performance Evaluation of a Distributed Algorithm for an Inverse Heat Conduction ProblemLai, C.-H. / Ierotheou, C. S. / Palansuriya, C. J. / Pericleous, K. A. et al. | 2001
- 221
-
Locating Information with Uncertainty in Fully Interconnected Networks with Applications to World Wide Web Information RetrievalKaporis, Alexis C. / Kirousis, Lefteris M. / Kranakis, Evangelos / Krizanc, Danny / Stamatiou, Yannis C. / Stavropoulos, Elias C. et al. | 2001
- 230
-
Analysis of a Multimedia Stream using Stochastic Process AlgebraBowman, H. / Bryans, J. W. / Derrick, J. et al. | 2001
- 246
-
Diagnosing Workflow Processes using WoflanVerbeek, H. M. W. / Basten, T. / van der Aalst, W. M. P. et al. | 2001
- 280
-
Single-faced Boolean Functions and their MinimizationWang, Yuke / McCrosky, Carl / Song, Xiaoyu et al. | 2001
- 292
-
On O(1) Time Algorithms for Combinatorial GenerationXiang, Limin / Ushijima, Kazuo et al. | 2001
- 303
-
A Data-Parallel Formulation for Divide and Conquer AlgorithmsAmor, M. / Argüello, F. / López, J. / Plata, O. / Zapata, E. L. et al. | 2001
- 321
-
Comment on 'A Framework for Modelling Trojans and Computer Virus Infection'Mäkinen, Erkki et al. | 2001
- 324
-
Reply to 'Comment on "A Framework for Modelling Trojans and Computer Virus Infection"' by E. MakinenThimbleby, H. / Anderson, S. O. / Cairns, P. A. et al. | 2001
- 324
-
Reply to 'Comment on "A framework for modelling Trojans and computer virus infection" by E. MäkinenThimbleby, H. et al. | 2001
- 329
-
Optimal Placement of Web Proxies for Replicated Web Servers in the InternetJia, Xiaohua / Li, Deying / Hu, Xiaodong / Du, DingZhu et al. | 2001
- 329
-
Optimal placement of We6 proxies for replicated Web servers in the InternetJia, X. et al. | 2001
- 340
-
Efficient Tracking of Mobile Objects in GlobeBaggio, Aline / Ballintijn, Gerco / van Steen, Maarten / Tanenbaum, Andrew S. et al. | 2001
- 354
-
Balancing Traffic Load for Multi-Node Multicast in a Wormhole 2-D Torus/MeshWang, San-Yuan / Tseng, Yu-Chee / Shiu, Ching-Sung / Sheu, Jang-Ping et al. | 2001
- 368
-
Probability-based Fault-tolerant Routing in HypercubesAl-Sadi, J. / Day, K. / Ould-Khaoua, M. et al. | 2001
- 374
-
Layout of the Cube-connected Cycles without Long WiresChen, Guihai / Lau, Francis C. M. et al. | 2001
- 384
-
Clustering Non-uniform-sized Spatial Objects to Reduce I/O Cost for Spatial-join ProcessingXiao, Jitian / Zhang, Yanchun / Jia, Xiaohua et al. | 2001
- 384
-
Clustering non-uniform sized spatial objects to reduce 1-0 cost for spatial join processingXiao, J. et al. | 2001
- 398
-
Consensus-based Timestamps in Distributed Temporal DatabasesNguyen, Ngoc Thanh et al. | 2001
- 410
-
A Logical Model for Information Retrieval based on Propositional Logic and Belief RevisionLosada, David E. / Barreiro, Alvaro et al. | 2001
- 425
-
Compact Morphic Directed Acyclic Word GraphsLuk, Robert W. P. et al. | 2001
- 435
-
A Local Approach to the Testing of Real-time SystemsKoné, Ousmane et al. | 2001
- 448
-
Extending CORBA Interfaces with ProtocolsCanal, C. / Fuentes, L. / Pimentel, E. / Troya, J. M. / Vallecillo, A. et al. | 2001
- 463
-
An Efficient and Secure Protocol for Multi-party Key EstablishmentHorng, Gwoboa et al. | 2001
- 471
-
High Assurance SystemsChen, Ing-Ray et al. | 2001
- 473
-
Estimating Software Rejuvenation Schedules in High-Assurance SystemsDohi, Tadashi / Goseva-Popstojanova, Katerina / Trivedi, Kishor et al. | 2001
- 486
-
Managing Latency and Buffer Requirements in Processing Graph ChainsGoddard, Steve / Jeffay, Kevin et al. | 2001
- 504
-
Modeling and Verification of High-Assurance Properties of Safety-Critical SystemsTsai, Jeffrey J. P. / Juan, Eric Y. T. et al. | 2001
- 531
-
Use of Modern Processors in Safety-Critical ApplicationsBate, Iain / Conmy, Philippa / Kelly, Tim / McDermid, John et al. | 2001
- 544
-
Evaluation of Fault-Tolerant Multiprocessor Systems for High Assurance ApplicationsGrandoni, F. / Chiaradonna, S. / Di Giandomenico, F. / Bondavalli, A. et al. | 2001
- 557
-
Software Quality Prediction for High-Assurance Network Telecommunications SystemsXu, Zhiwei / Khoshgoftaar, Taghi M. et al. | 2001
- 569
-
A Unified Meta-Level Software Architecture for Sequential and Concurrent Exception HandlingGarcia, Alessandro F. / Beder, Delano M. / Rubira, Cecília M. F. et al. | 2001