Title :
Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Title page
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;
Conference_Titel :
Symbolic and Numeric Algorithms for Scientific Computing, 2007. SYNASC. International Symposium on
Conference_Location :
Timisoara
Print_ISBN :
978-0-7695-3078-8
DOI :
10.1109/SYNASC.2007.1
