default search action
FCS 2009: Las Vegas, Nevada, USA
- Hamid R. Arabnia, George A. Gravvanis:
Proceedings of the 2009 International Conference on Foundations of Computer Science, FCS 2009, July 13-16, 2009, Las Vegas, Nevada, USA. CSREA Press 2009, ISBN 1-60132-103-1
Novel Algorihms and Applications + Methodologies
- Quoc-Nam Tran, Giridhar Hariharan:
Using Model Checking for Decision Making in Computer Games. FCS 2009: 3-8 - Srinivas Vamsi Parasa, Kumar Eswaran:
Quantum Pseudo-Fractional Fourier Transform and Its Application to Quantum Phase Estimation. FCS 2009: 9-15 - Wit Forys, Piotr Oprocha:
Pseudo-Random Walks On Graphs And Cryptography. FCS 2009: 16-19 - Hirofumi Tagawa, Akihiro Fujiwara:
Dictionary Operations in Membrane Computing. FCS 2009: 20-26 - Jyh-Shyan Lin, Fu-Kuo Tseng, Rong-Jaye Chen:
An Analysis of Hierarchical Identity-Based Cryptosystems. FCS 2009: 27-31 - Saeed Safaei, Babak Dalvand, Babak Esmaeili, Vahid Safaei:
Molecular Solutions for the Minimum Edge Dominating Set Problem on DNA-based Supercomputing. FCS 2009: 32-36 - Nitin, Gitanjali Chauhan, Vivek Kumar Sehgal, Rohit Sharma, Abhishek Gupta, Aditya Patel, Amanpreet Singh Arora, Aprajita Gupta, Utkarsh Shrivastava, Rajan Vaish:
A Single Tape Deterministic Turing Machine of Adaptive Deterministic Routing Algorithm Designed for Torus Network. FCS 2009: 37-40 - Yuichiro Tokumaru, Akihiro Fujiwara:
Procedures for Floating Point Operations with DNA Molecules. FCS 2009: 41-46 - Nitin, Gitanjali Chauhan, Rohit Sharma, Vivek Kumar Sehgal, Rohit Verma, Gaurav Kumar, Utkarsh Shrivastava, Rajan Vaish:
Single Tape Deterministic Turing Machine of Routing Algorithms Designed for Torus Network. FCS 2009: 47-52 - Sandy Stevens Tickodri-Togboa:
A Methodology for the Construction of Generating Functions and its Application to Bessel Functions. FCS 2009: 53-58
Formal Methods and Logic
- Kenneth A. Hawick:
Spectral Analysis of Attractors in Random Boolean Network Models. FCS 2009: 61-67 - Yijie Han:
Tight Bound for Matching. FCS 2009: 68-74 - Arno Leist, Kenneth A. Hawick:
Circuits as a Classifier for Small-World Network Models. FCS 2009: 75-81 - Bhupinder Singh Anand:
The Significance of Aristotle's Particularisation in the Foundations of Mathematics, Logic and Computability: Cohen and the Axiom of Choice. FCS 2009: 82-86 - Adnan M. Abu-Mahfouz, Gerhard P. Hancke:
An Efficient Method for Finding Square Roots for Elliptic Curves over OEF. FCS 2009: 87-91 - Vitit Kantabutra:
An Infinite Class of Non-Hamiltonian Voronoi Duals Based on Regular Polygons. FCS 2009: 92-94 - Bhupinder Singh Anand:
The Significance of Aristotle's Particularisation in the Foundations of Mathematics, Logic and Computability: Rosser and Formally Undecidable Arithmetical Propositions. FCS 2009: 95-99
Theory
- Brian Cloteaux, Desh Ranjan:
Lower Bounds for Accessing Information on Pure Pointer Machines. FCS 2009: 103-107 - Ryszard Janicki, Nadezhda Zubkova:
On Closure Operator for Interval Order Structures. FCS 2009: 108-114 - Thomas O'Neil:
The Importance of Symmetric Representation. FCS 2009: 115-119 - Joe DeMaio, William Faust:
Domination and Independence on the Rectangular Torus by Rooks and Bishops. FCS 2009: 120-125 - Yangjun Chen:
Decomposing a Partially Ordered Set into Chains. FCS 2009: 126-132 - Yean-Ru Chen, To-Yu Chen, Pao-Ann Hsiung, Sao-Jie Chen, Yu Hen Hu:
Compositional Automata Reduction with Non-critical Path Slicing. FCS 2009: 133-138 - Li-Gang Wu, Lei Fan:
Cartesian Closed Categories of R-Posets. FCS 2009: 139-144 - Zied Bouyahia, Monia Bellalouna, Khaled Ghédira, Patrick Jaillet:
A Priori Strategies for the Probabilistic Total Weighted Flowtime on Parallel Identical Machines Problem. FCS 2009: 145-151
Late Papers
- Huy Nguyen Anh Pham, Arthur M. D. Shr, Peter P. Chen:
A Quadratic Integer Programming Framework for Dedicated Machine Constraint. FCS 2009: 155-161 - Linmin Yang, Zhe Dang, Thomas R. Fischer:
Optimal Software Testing - A Cooling Down Process. FCS 2009: 162-168 - Babak Dalvand, Saeed Safaei, Mojtaba Nazari:
Fast Parallel Molecular Solution to the Maximum Triangle Packing Problem on Massively Parallel Bio-Computing. FCS 2009: 169-173 - Kenneth E. Hoganson:
Mitigating Starvation of Multi-Level Feedback Queue Scheduling with Declining Max Weighted Average. FCS 2009: 174-179 - Ulisses Ferreira:
The Decidability of the Halting Problem. FCS 2009: 180-183
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-12-31 21:53 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: