Abstract :
The following topics are dealt with: parallel and distributed computing; task scheduling and load balancing; formal verification; parallel programming; embedded systems and architectures; grid computing; mobile computing and security.
Keywords :
distributed processing; embedded systems; formal verification; resource allocation; scheduling; security of data; distributed computing; embedded architecture; embedded system; formal verification; grid computing; load balancing; mobile computing; parallel computing; parallel programming; security; task scheduling;
Conference_Titel :
Parallel and Distributed Computing, 2008. ISPDC '08. International Symposium on
Conference_Location :
Krakow
Print_ISBN :
978-0-7695-3472-5
DOI :
10.1109/ISPDC.2008.1
