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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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

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 ◽

Cited By ~ 1

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):

Title Page

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 ◽

Finite Horizon

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 7

Author(s):

Marieta Nastase ◽

Ciprian Dobre ◽

Florin Pop ◽

Valentin Cristea

Keyword(s):

Distributed Systems ◽

Fault Tolerance ◽

Large Scale ◽

Front End

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 ◽

Cited By ~ 1

Author(s):

Cristian Gratie ◽

Adina Magda Florea

Keyword(s):

Traffic Congestion ◽

Adaptive Routing ◽

Urban Traffic

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

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

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

A Compiler for Origami Construction and Verification

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

On the Existence of Complete Disjoint NP-Pairs

Title Page iii

The Lucas Optimal Growth Model on Finite Horizon

Immune-inspired Web Service Composition Framework

Embedding Formal Methods into Systems Engineering

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

Alleviating Urban Traffic Congestion by Means of Adaptive Routing

Formal Proof of Theorems on Genetic Regulatory Networks

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