位置：成果数据库 > 会议 > 会议详情页
A Linear In-Situ Algorithm for the Power of Cyclic Permutation
  • 所属机构名称：江西师范大学
  • 会议名称：Lecture Notes in Computer Sciences, vol.5059, pp. 113–123, Springer-Verlag SCI(BHV97)、EI（082711349
  • 成果类型：会议
  • 相关项目：基于PAR平台的信息系统应用软件若干共性关键技术研究
作者： 薛锦云|
同会议论文项目
基于PAR平台的信息系统应用软件若干共性关键技术研究
期刊论文 36 会议论文 20 获奖 6
同项目会议论文
Formal Derivation and Automatic Generation of Sorting Algorithms
A Mechanical Approach for Deriving Algorithmic Programs
Introducing Advanced Generic Programming: Categorical Foundations and Applications
Generating Provably Correct Algorithmic Programs from Formal Specifications
ISDGen: An Automated Simulation Data Generation Tool for Object-Oriented Information Systems.
Generating Algorithms plus Loop invariants by Formal Derivation
Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Prob
A category theoretic approach to search algorithms:towards a unified implementation for branch-and-b
Categorial Semantics of a Solution to Distributed Dining Philosophers Problem[C]
Agent Based Framework for Emergency Rescue and Assistance Planning
一种基于PAR的高可靠算法程序设计技术
Toward an automatic approach to greedy algorithms
Formal Derivation of A Generic Algorithmic Program for Solving a Class Extremum Problems
From Mathematics to Software Engineering: introducing category theory into the computer science curr
Formal design and intelligent maintenance of ballistic computers
Automated Large-Scale Simulation Test-Data Generation for Object-Oriented Software Systems
Formal Programming for the Shortest Path and Its Critical Edge Problems
Distributed Cooperative Planning and Scheduling for Disaster Management
Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs