AUTOMATIC MAPPING OF ASSIST APPLICATIONS USING PROCESS ALGEBRA
نویسندگان
چکیده
منابع مشابه
Automatic Mapping of Assist Applications Using Process Algebra
Grid technologies aim to harness the computational capabilities of widely distributed collections of computers. Due to the heterogeneous and dynamic nature of the set of grid resources, the programming and optimisation burden of a low level approach to grid computing is clearly unacceptable for large scale, complex applications. The development of grid applications can be simplified by using hi...
متن کاملTowards the Automatic Mapping of ASSIST Applications for the Grid
One of the most promising technical innovations in presentday computing is the invention of grid technologies which harness the computational power of widely distributed collections of computers. However, the programming and optimisation burden of a low level approach to grid computing is clearly unacceptable for large scale, complex applications. The development of grid applications can be sim...
متن کاملautomatic verification of authentication protocols using genetic programming
implicit and unobserved errors and vulnerabilities issues usually arise in cryptographic protocols and especially in authentication protocols. this may enable an attacker to make serious damages to the desired system, such as having the access to or changing secret documents, interfering in bank transactions, having access to users’ accounts, or may be having the control all over the syste...
15 صفحه اولAutomatic data mapping of signal processing applications
This paper presents a technique to map automatically a complete digital signal processing DSP application onto a parallel machine with distributed memory Unlike other applica tions where coarse or medium grain scheduling techniques can be used DSP applications integrate several thousand of tasks and hence necessitate ne grain considerations More over nding an e ective mapping imperatively requi...
متن کاملAutomatic Typesetting of Formulas Using Computer Algebra
This paper describes new procedures, written in the Mathematica © programming language, for quickly typesetting mathematical formulas in LATEX syntax. Two main procedures provide direct interface with the user. The first of them obtains the LATEX representation of a single formula. The second procedure analyzes a set of formulas, searching for common terms and symmetries, and breaks the origina...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Parallel Processing Letters
سال: 2008
ISSN: 0129-6264,1793-642X
DOI: 10.1142/s0129626408003302