Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Computer Science and Technology, Volume 9
Volume 9, Number 1, January 1994
- Guohua Jin, Fujie Chen:
On the problem of optimizing parallel programs for complex memory hierarchies. 1-26 - Weikang Huang, F. Lombard:
On GID-testable two-dimensional iterative arrays. 27-36 - Wei Li, Bo Zhang, Hilmar Jaschek:
Real-time collision-free path planning for robots in configuration space. 37-52 - Zhaokeng Zhao, Jun Dai, Wendan Chen:
Automated theorem proving in temporal logic: T-resolution. 53-62 - Qilong Han, Ruzhan Lu, Yongqiang Sun:
An improved bottom-up method for implementing equational programming language. 63-69 - Kaihuai Qin, Gang Fan, Cai Sun:
Extrapolating acceleration algorithms for finding B-Spline intersections using recursive subdivision techniques. 70-85 - Jun Ma, Shaohan Ma:
An O(k 2n2) algorithm to find a k -partition in a k -connected graph. 86-91 - Wenbin Jiang:
A method for minimization design of two-level logic networks using multiplexer universal logic modules. 92-96
Volume 9, Number 2, April 1994
- Zhigeng Pan, Jiaoying Shi, Bingfeng Hu:
DGLa: A distributed graphics language. 97-106 - Jianrong Tan, Jianmin Zheng, Qunsheng Peng:
A unified algorithm for finding the intersection curve of surfaces. 107-116 - Yong Zhou, Zesheng Tang:
Constructing isosurfaces from 3D data sets taking account of depth sorting of polyhedra. 117-127 - Jian Wang, Christine Eisenbeis, Bogong Su:
Using timed Petri net to model instruction-level loop scheduling with resource constraints. 128-143 - Xinmin Tian, Dingxing Wang, Meiming Shen, Weimin Zheng, Dongchan Wen:
Granularity analysis for exploiting adaptive parallelism of declarative programs on multiprocessors. 144-152 - Sanli Li, Xinggang Fu:
Madet - A machine-description table based instruction scheduler in TH-RISC for exploiting instruction level parallelism. 153-159 - Xuhua Liu, Jigui Sun:
Generalized resolution and NC-resolution. 160-167 - Min Zheng, Jinxin Lu:
Preparing mathematical equations in a document preparation environment. 168-174 - Xianchun Jiang:
Prefix code translation by mapping. 175-181 - Dong Xiang, Daozheng Wei:
GLOBAL: A design for random testability algorithm. 182-192
Volume 9, Number 3, July 1994
- Longxiang Zhao, Jiying Qin:
The catalog management strategy of distributed data base systems. 193-203 - Xinming Ye:
A distributed algorithm for determining minimal covers of acyclic database schemes. 204-214 - Songmao Zhang:
Story Parsing Grammar. 215-228 - Baile Shi, Aoying Zhou:
Bottom-up evaluation of datalog with negation. 229-244 - Xianchang Wang, Huowang Chen, Qinping Zhao:
On the relationship between TMS and logic programs. 245-251 - Hui Hui, Dayou Liu, Yafei Wang:
Sequential back-propagation. 252-260 - Jigang Wu, Hong Zhu:
The least basic operations on heap and improved heapsort. 261-266 - Mingyi Zhang:
Some results on default logic. 267-274 - Weiqing Tang, Sili Wen, Shenquan Liu:
An object-oriented model of user interface generation tool. 275-284 - Guoyong Huang, Sanli Li:
TSP: A heterogeneous multiprocessor supercomputing system based on i860XP. 285-288
Volume 9, Number 4, October 1994
- Gang Luo:
Generating conformance tests for nondeterministic protocol machines. 289-301 - Xinmin Tian, Dingxing Wang, Weimin Zheng, Meiming Shen, Cheng Li:
Compiling CIL rewriting language for multiprocessors. 302-310 - Zongtian Liu, Fuan Chen:
Research on decompiling technology. 311-319 - Shu Yao, Bo Zhang:
The learning convergence of CMAC in cyclic learning. 320-328 - Wei Wu, Wanxie Zhong, Zhijin Sheng:
Building case-based preliminary design systems: A Hopfield network approach. 329-341 - Jianguo Xu, Wenxin Wei:
GUIDS: A graphical user interface development system in UniECAD. 342-348 - Farid Mheir-El-Saadi, Bozena Kaminska:
An automatic hierarchical delay analysis tool. 349-364 - Jianqiang Zhou, Li Xie, Fei Dai, Zhongxiu Sun:
Adaptive memory coherence algorithms in DSVM. 365-372 - Yuhua Zheng, Li Xie, Zhongxiu Sun:
Full or-parallemism and restricted And-parallelism in BTM. 373-381
a service of 
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 2024-08-17 23:41 CEST 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:
