default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Computer Journal, Volume 43, 2000
Volume 43, Number 1, 2000
- Gianni Amati, Iadh Ounis
:
Conceptual Graphs and First Order Logic. 1-12 - Jeremy M. R. Martin:
A Tool for Checking the CSP sat Property. 13-23 - A. D. Pengelly, Darrel C. Ince:
Quotient Machines, the Interface Equation and Protocol Conversion. 24-39 - John A. Ellis, Minko Markov:
In situ, Stable Merging by Way of the Perfect Shuffle. 40-53 - Simon Y. Berkovich, Eyas El-Qawasmeh:
Reversing the Error-Correction Scheme for a Fault-Tolerant Indexing. 54-64 - Kam-yiu Lam, Tei-Wei Kuo, Wai-Hung Tsang, Gary C. K. Law:
The Reduced Ceiling Protocol for Concurrency Control in Real-time Databases with Mixed Transactions. 65-80 - Suk-Kyu Song, Narasimhaiah Gorla:
A Genetic Algorithm for Vertical Fragmentation and Access Path Selection. 81-93
Volume 43, Number 2, 2000
- Brian Randell:
Turing Memorial Lecture Facing Up to Faults. 95-106 - Fionn Murtagh, Jean-Luc Starck, Michael W. Berry:
Overcoming the Curse of Dimensionality in Clustering by Means of the Wavelet Transform. 107-120 - Fabrizio Luccio, Mohammed Mahafzah, Mahmoud Al-Omari, Linda Pagli:
Masked Interval Routing: A New Routing Scheme. 121-129 - Marina Papatriantafilou, Philippas Tsigas:
Wait-Free Handshaking Using Rainbow Colouring. 130-137 - Lizy Kurian John:
Data Placement Schemes to Reduce Conflicts in Interleaved Memories. 138-151 - Imtiaz Ahmad, Muhammad K. Dhodhi, Faridah M. Ali:
TLS: A Tabu Search Based Scheduling Algorithm for Behavioral Synthesis of Functional Pipelines. 152-166
Volume 43, Number 3, 2000
- Ian Holyer, Hüseyin Pehlivan:
A Recovery Mechanism for Shells. 168-176 - Tatiana Tambouratzis:
Counter-clustering for Training Pattern Selection. 177-190 - Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini:
Formally Verifying Fault Tolerant System Designs. 191-205 - Samir M. Koriem:
A Fuzzy Petri Net Tool For Modeling and Verification of Knowledge-Based Systems. 206-223 - Søren Christensen, Laure Petrucci:
Modular Analysis of Petri Nets. 224-242 - Cyril Gavoille:
On the Dilation of Interval Routing. 243-249
Volume 43, Number 4, 2000
- Hugh Glaser, Pieter H. Hartel, Paul W. Garratt:
Programming by Numbers: A Programming Method for Novices. 252-265 - Sherali Zeadally:
Implementation and Performance of QoS-aware Java Applications over ATM Networks. 266-273 - Tijn Borghuis, Loe M. G. Feijs:
A Constructive Logic for Services and Information Flow in Computer Networks. 274-289 - Limin Xiang, Kazuo Ushijima, Selim G. Akl:
Generating Regular k-ary Trees Efficiently. 290-300 - Eleni Tousidou, Alexandros Nanopoulos, Yannis Manolopoulos:
Improved Methods for Signature-Tree Construction. 301-314 - Kuo-Liang Chung, Hsiu-Niang Chen:
A Neighbor-finding Algorithm for Bincode-based Images on Reconfigurable Meshes. 315-324 - Theodoros Tzouramanis, Michael Vassilakopoulos, Yannis Manolopoulos:
Overlapping Linear Quadtrees and Spatio-Temporal Query Processing. 325-343
Volume 43, Number 5, 2000
- Helen Ashman:
Relations Modelling Sets of Hypermedia Links and Navigation. 345-363 - Sourav S. Bhowmick, Sanjay Madria, Wee Keong Ng, Ee-Peng Lim:
Data Visualization Operators for WHOWEDA. 364-385 - Sheng-Tzong Cheng, Chia-Mei Chen:
Dynamic Round-based Resource Management for On-demand Multimedia Servers. 386-395 - Duen-Ren Liu, Chen-Hsien Lin, Jing-Jang Hwang:
Classifying Video Documents by Hierarchical Structure of Video Contents. 396-410 - Hamid Sarbazi-Azad, Mohamed Ould-Khaoua, Lewis M. Mackenzie:
Message Latency in Hypercubes in the Presence of Matrix-Transpose Traffic. 411-419 - Antigoni Manousaka, Yannis Manolopoulos:
Fringe Analysis of 2-3 Trees with Lazy Parent Split. 420-429 - Willy Susilo, Reihaneh Safavi-Naini, Marc Gysin, Jennifer Seberry:
A New and Efficient Fail-stop Signature Scheme. 430-437
Volume 43, Number 6, 2000
- James Noble:
Arguments and Results. 439-450 - Kevin Lano, Robert B. France, Jean-Michel Bruel:
A Semantic Comparison of Fusion and Syntropy. 451-468 - Konstantin Läufer, Gerald Baumgartner, Vincent F. Russo:
Safe Structural Conformance for Java. 469-481 - Houman Younessi:
An Algorithm for Automatic Construction of Class Diagrams. 482-490 - Suad Alagic:
Temporal Object-Oriented Programming. 491-511 - Eun-Sun Cho, Hyoung-Joo Kim:
Interface/implementation Separation Mechanism for Integrating Object-oriented Management Systems and General-purpose Programming Languages. 512-523 - Jung-Ho Ahn, Hyoung-Joo Kim:
Dynamic SEOF: An Adaptable Object Prefetch Policy for Object-oriented Database Systems. 524-537
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.
last updated on 2025-01-15 20:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
