DocumentCode
2858431
Title
Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Title page
fYear
2007
fDate
26-29 Sept. 2007
Abstract
The following topics are dealt with: scientific computing; automated reasoning and formal verification; parallel and distributed computing; software quality; symbolic and numeric algorithms; data mining; security; image and text processing; grid computing applications development; iterative methods; nonlinear equations; real time and embedded systems; rule-based applications; natural computing and applications; workflows and process management.
Keywords
artificial intelligence; distributed processing; software engineering; symbol manipulation; automated reasoning; data mining; distributed computing; embedded systems; formal verification; grid computing applications development; image processing; iterative methods; natural computing; nonlinear equations; numeric algorithms; parallel computing; process management; real time systems; rule-based applications; scientific computing; security; software quality; symbolic algorithms; text processing;
fLanguage
English
Publisher
ieee
Conference_Titel
Symbolic and Numeric Algorithms for Scientific Computing, 2007. SYNASC. International Symposium on
Conference_Location
Timisoara
Print_ISBN
978-0-7695-3078-8
Type
conf
DOI
10.1109/SYNASC.2007.1
Filename
4438063
Link To Document