2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Latest Publications

TOTAL DOCUMENTS

72

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By IEEE

9781424459100

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Compiler for Origami Construction and Verification

2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2009.61 ◽

2009 ◽

Author(s):

Tetsuo Ida

Download Full-text

Fairness and QoS Enhancement Models and Techniques for Peer-to-Peer Content Sharing Systems

2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2009.16 ◽

2009 ◽

Author(s):

Mugurel Ionut Andreica ◽

Irina Borozan ◽

Lucian-Ionut Balaceanu ◽

Nicolae Tapus

Keyword(s):

Peer To Peer ◽

Content Sharing

Download Full-text

The Lucas Optimal Growth Model on Finite Horizon

2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2009.26 ◽

2009 ◽

Author(s):

Nadia Bonchis

Keyword(s):

Growth Model ◽

Optimal Growth ◽

Download Full-text

On the Existence of Complete Disjoint NP-Pairs

2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2009.9 ◽

2009 ◽

Author(s):

Olaf Beyersdorff

Download Full-text

Title Page iii

2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2009.2 ◽

2009 ◽

Keyword(s):

Download Full-text

Immune-inspired Web Service Composition Framework

2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2009.47 ◽

2009 ◽

Author(s):

Cristina Bianca Pop ◽

Viorica R. Chifu ◽

Ioan Salomie ◽

Mihaela Dinsoreanu ◽

Iulia Vartic ◽

...

Keyword(s):

Web Service ◽

Service Composition ◽

Web Service Composition

Download Full-text

Embedding Formal Methods into Systems Engineering

2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2009.71 ◽

2009 ◽

Author(s):

Helmut Veith

Keyword(s):

Formal Methods ◽

Systems Engineering

Download Full-text

Fault Tolerance Using a Front-End Service for Large Scale Distributed Systems

2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2009.13 ◽

2009 ◽

Author(s):

Marieta Nastase ◽

Ciprian Dobre ◽

Florin Pop ◽

Valentin Cristea

Keyword(s):

Distributed Systems ◽

Fault Tolerance ◽

Large Scale ◽

Download Full-text

Alleviating Urban Traffic Congestion by Means of Adaptive Routing

2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2009.46 ◽

2009 ◽

Author(s):

Cristian Gratie ◽

Adina Magda Florea

Keyword(s):

Traffic Congestion ◽

Adaptive Routing ◽

Download Full-text

Formal Proof of Theorems on Genetic Regulatory Networks

2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2009.44 ◽

2009 ◽

Author(s):

Maxime Dénès ◽

Binjamin Lesage ◽

Yves Bertot ◽

Adrien Richard

Keyword(s):

Regulatory Networks ◽

Formal Proof ◽

Genetic Regulatory Networks

Download Full-text