We use cookies to improve your experience with our site.
Advanced Search

Average-Case Analysis of Algorithms Using Kolmogorov Complexity
Exploiting Deterministic TPG for Path Delay Testing
Implementation of a Prototype VoIP System
Study on Translating Chinese into Chinese Sign Language
An Aided Tool for Enterprise Network Design
Renaming a Set of Non-Horn Clauses
Decision Tree Complexity of Graph Properties with Dimension at Most 5
Checking Timed Automata for Linear Duration Properties
Default Reasoning and Belief Revision:A Syntax-Independent Approach
Some Structural Properties of SAT
Supporting Flexible Data Distribution in Software DSMs
Limited Multiple-Writer:An Approach to Dealing with False Sharing in Software DSMs
Improving the Syllable-Synchronous Network Search Algorithm for Word Decoding in Continuous Chinese Speech Recognition
Average-Case Analysis of Algorithms Using Kolmogorov Complexity
Renaming a Set of Non-Horn Clauses
Decision Tree Complexity of Graph Properties with Dimension at Most5
Checking Timed Automata for Linear Duration Properties
Default Reasoning and Belief Revision: A Syntax-Independent Approach
Some Structural Properties of SAT
Supporting Flexible Data Distribution in Software DSMs
Limited Multiple-Writer: An Approach to Dealing with False Sharing in Software DSMs
Improving the Syllable-Synchronous Network Search Algorithm for Word Decoding in Continuous Chinese Speech Recognition
Exploiting Deterministic TPG for Path Delay Testing
Implementation of a Prototype VoIP System
Study on Translating Chinese into Chinese Sign Language
An Aided Tool for Enterprise Network Design
Current Issue Cover