Pages that link to "Item:Q182337"
From MaRDI portal
The following pages link to Journal of Computer Science and Technology (Q182337):
Displayed 50 items.
- A recovery technique for distributed communicating process systems (Q1079362) (← links)
- On the structure of finite automata of which M' is a (weak) inverse with delay \(\tau\) (Q1083857) (← links)
- Almost optimal dynamic 2-3 trees (Q1084868) (← links)
- Stack method in program semantics (Q1085598) (← links)
- Easy test generation PLAs (Q1095867) (← links)
- Statistical heuristic search (Q1100907) (← links)
- On the complexity of induction of structural descriptions (Q1100927) (← links)
- On conceptual model specification and verification (Q1100939) (← links)
- Synthesis of communicating process skeletons from temporal-spatial logic specifications (Q1116944) (← links)
- A new method for generating conic sections (Q1121018) (← links)
- Transformations between rectangular and triangular patches in Bezier form (Q1121472) (← links)
- Tableau systems for paraconsistency and minimal inconsistency (Q1127720) (← links)
- Analysis on attribute reduction strategies of rough set (Q1127721) (← links)
- Extracting schema from an OEM database (Q1130170) (← links)
- Graph traversal and top-down evaluation of logic queries (Q1130171) (← links)
- Extending STL with efficient data structures (Q1130172) (← links)
- Concurrent manipulation of expanded AVL trees (Q1130174) (← links)
- On model, memory management and interface in EDBMS/3 (Q1130175) (← links)
- An overview of data mining and knowledge discovery (Q1130176) (← links)
- FCV\(_1\): A new fast greedy covering algorithm (Q1130177) (← links)
- Normalized exponential neural networks (Q1130178) (← links)
- A new representation and algorithm for constructing convex hulls in higher dimensional spaces (Q1192490) (← links)
- The location of singular and inflection points for planar cubic \(B\)- spline curve (Q1192491) (← links)
- Test derivation through critical path transitions (Q1192492) (← links)
- Pseudo-random test generation for large combinational circuits (Q1192494) (← links)
- Octree representation and its applications in CAD (Q1192496) (← links)
- HEPAPS: A PCB automatic placement system (Q1192500) (← links)
- A basic algorithm for computer-aided design of material arrangement (Q1192502) (← links)
- An algorithm for finding D-time table (Q1192503) (← links)
- Polynomial tests of normal forms and some related results (Q1192504) (← links)
- Error recovery in a real-time multiprocessor system (Q1192506) (← links)
- AECAM: An extension matrix algorithm on a cellular automata machine (Q1192509) (← links)
- Fault-tolerance analysis of multibus multiprocessor system (Q1262112) (← links)
- A proof rule for while loop in VDM (Q1262115) (← links)
- Speedup studies of leading iteration model for non-DO loops in comparison with sequential iteration model (Q1262120) (← links)
- Properties of semijoin sequences (Q1263978) (← links)
- On the structure of binary feedforward inverses with delay 2 (Q1263986) (← links)
- The determining method about the conflict between the null constraints and the set of functional dependencies (Q1264005) (← links)
- Special issue: Proceedings of the international summer school and workshop on Formal models of programming and their applications, Beijing, China, September 17--20, 1997 (Q1273065) (← links)
- Some notes on graph automata, tiling systems and partition logic (Q1273066) (← links)
- Simply-typed underdeterminism (Q1273067) (← links)
- Reaction graph (Q1273068) (← links)
- An invitation to friendly testing (Q1273070) (← links)
- Another definition of order-sorted algebra (Q1273072) (← links)
- Formal derivation of graph algorithmic programs using partition-and-recur (Q1273073) (← links)
- Dependent type system with subtyping I: Type level transitivity elimination (Q1273074) (← links)
- Structures definable in polymorphism (Q1273075) (← links)
- Verifying automata specification of distributed probabilistic real-time systems (Q1273079) (← links)
- Program construction by verifying specification (Q1273080) (← links)
- Experimental study on strategy of combining SAT algorithms (Q1273082) (← links)