International Conference on Theoretical and Mathematical Foundations of Computer Science

(TMFCS-09)

Orlando, Florida, USA, July 13-16, 2009

Zoran Majkic, R.Radha, Sun-Yuan Hsieh (Editors)

ISBN: 978-1-60651-014-8

Publisher: ISRST

Website: http://www.PromoteResearch.org

Contents:

Vasos Pavlika

A Numerical Integration Technique to Integrate a Function Known only at a Certain Number of Points not uniformly Separated

1-5

S. Baboolal

Floating-point consistency issues in multi-platform implementations of a code for electromagnetic plasma-fluid nonlinear wave simulations

6-13

Jakrapan Sukontarach, Athasit Surarerks

Parallel Addition and Subtraction for the Flexible Interval Representation System

14-19

George B. Mertzios, Walter Unger

A Parameterized Algorithm for the Preemptive Scheduling of Equal-Length Jobs

20-27

George B. Mertzios

Fast Convergence of Routing Games with Splittable Flows

28-33

Devi Prasad Bhukya, Ramachandram S

Empirical IOPS Analysis of the SAN

34-37

Zoran Majkic

Induction Principle in Relational Database Category

38-48

Ahmet Cevik

A Linear Time Algorithm for the Prediction of Compression during Multimedia Transmission

49-53

Ahmet Cevik

Cryptology in Quantum Computing

54-58

O. Rahmeh, P. Johnson

A Latency Awareness Job Distribution Algorithm for Grid Networks

59-65

Liquan ZHAO, Ling ZHANG

Foundation of Granular Computing

66-69

Bhupinder Singh Anand

The significance of Aristotle's particularisation in the foundations of mathematics, logic and computability II: Godel and formally undecidable arithmetical propositions

70-74

Bhupinder Singh Anand

The significance of Aristotle's particularisation in the foundations of mathematics, logic and computability IV: Turing and a sound, finitary, interpretation of PA

75-81

G. Simonin, R. Giroudeau, J.-C. Konig

Extended matching problem for a coupled-tasks scheduling problem

82-89

David Dobson, Andrew Strelzoff

Stream Processing Techniques for High Performance Optical Flow Approximation

90-95

David Turner

Algebraic Graph Colouring

96-98

Chao Yu, Zhongxuan Luo, Fengshan Liu

G2 Blending of Non-symmetric Corner by generator basis method

99-105

Shugao Xia, Xiquan Shi, Fengshan Liu

Optimal spherical parameterization of 3D closed meshes

106-109

Mark Korenblit, Vadim E. Levit

Square Rhomboids and Their Algebraic Expressions

110-117

Christina Smyre

Applying Graph Theory to Quantitatively Measure the Security of a Software System

118-125