2010 12th 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

9781424498161

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

E-System for Automatic Data Migration

2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2010.14 ◽

2010 ◽

Author(s):

A Marin ◽

C Dobre ◽

D Popescu ◽

V Cristea

Keyword(s):

Data Migration ◽

Automatic Data

Download Full-text

Connectivity in Semi-algebraic Sets

2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2010.91 ◽

2010 ◽

Author(s):

Hoon Hong

Keyword(s):

Algebraic Sets

Download Full-text

Continuation Semantics for Concurrency Applied to Parallel Rewriting of Multisets

2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2010.36 ◽

2010 ◽

Cited By ~ 1

Author(s):

G Ciobanu ◽

E N Todoran

Download Full-text

An Architectural Approach for Event-Based Execution Management in Service Oriented Infrastructures

2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2010.70 ◽

2010 ◽

Author(s):

S V Gogouvitis ◽

K Konstanteli ◽

D Kyriazis ◽

T Varvarigou

Keyword(s):

Service Oriented ◽

Execution Management ◽

Event Based

Download Full-text

Expectations for Assessment of Services Quality

2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2010.30 ◽

2010 ◽

Author(s):

I A Letia ◽

A N Marginean

Keyword(s):

Services Quality

Download Full-text

A Purely Logical Approach to the Termination of Imperative Loops

2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2010.64 ◽

2010 ◽

Cited By ~ 1

Author(s):

Ma Eras ◽

Tudor Jebelean

Keyword(s):

Logical Approach

Download Full-text

Polynomial GCD and Factorization via Approximate Gröbner Bases

2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2010.76 ◽

2010 ◽

Cited By ~ 5

Author(s):

Daniel Lichtblau

Keyword(s):

Bner Bases ◽

Polynomial Gcd

Download Full-text

Linear Algebraic Approach for Home Markings in Live and Bounded Equal Conflict Systems

2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2010.57 ◽

2010 ◽

Author(s):

I Leahu

Keyword(s):

Algebraic Approach

Download Full-text

OrcFS: Organized Relationships between Components of the File System for Efficient File Retrieval

2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2010.59 ◽

2010 ◽

Cited By ~ 2

Author(s):

Alexandra Coldea ◽

Adrian Colesa ◽

Iosif Ignat

Keyword(s):

File System ◽

File Retrieval

Download Full-text

An x-Coordinate Point Compression Method for Elliptic Curves over Fp

2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2010.23 ◽

2010 ◽

Cited By ~ 1

Author(s):

A Dudeanu ◽

George-Razvan Oancea ◽

S Iftene

Keyword(s):

Elliptic Curves ◽

Compression Method ◽

Point Compression

Download Full-text

2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific ComputingLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

E-System for Automatic Data Migration

Connectivity in Semi-algebraic Sets

Continuation Semantics for Concurrency Applied to Parallel Rewriting of Multisets

An Architectural Approach for Event-Based Execution Management in Service Oriented Infrastructures

Expectations for Assessment of Services Quality

A Purely Logical Approach to the Termination of Imperative Loops

Polynomial GCD and Factorization via Approximate Gröbner Bases

Linear Algebraic Approach for Home Markings in Live and Bounded Equal Conflict Systems

OrcFS: Organized Relationships between Components of the File System for Efficient File Retrieval

An x-Coordinate Point Compression Method for Elliptic Curves over Fp

2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Latest Publications