Sciweavers

4889 search results - page 106 / 978
» A Refactoring Approach to Parallelism
Sort
View
AOSD
2008
ACM
13 years 11 months ago
AJANA: a general framework for source-code-level interprocedural dataflow analysis of AspectJ software
Aspect-oriented software presents new challenges for the designers of static analyses. Our work aims to establish systematic foundations for dataflow analysis of AspectJ software....
Guoqing Xu, Atanas Rountev
CCS
2008
ACM
13 years 11 months ago
Verifiable functional purity in java
Proving that particular methods within a code base are functionally pure--deterministic and side-effect free--would aid verification of security properties including function inve...
Matthew Finifter, Adrian Mettler, Naveen Sastry, D...
CORR
2008
Springer
53views Education» more  CORR 2008»
13 years 9 months ago
Kinetostatic Performance of a Planar Parallel Mechanism with Variable Actuation
This paper deals with a new planar parallel mechanism with variable actuation and its kinetostatic performance. A drawback of parallel mechanisms is the non homogeneity of kinetost...
Novona Rakotomanga, Damien Chablat, Stéphan...
PC
2002
131views Management» more  PC 2002»
13 years 8 months ago
From patterns to frameworks to parallel programs
riented programming, design patterns, and frameworks are abstraction techniques that have been used to reduce the complexity of sequential programming. This paper describes our ap...
Steve MacDonald, John Anvik, Steven Bromling, Jona...
ISPAN
1999
IEEE
14 years 1 months ago
Evaluation of a Semi-Static Approach to Mapping Dynamic Iterative Tasks onto Heterogeneous Computing Systems
To minimize the execution time of an iterative application in a heterogeneous parallel computing environment, an appropriate mapping scheme is needed for matching and scheduling th...
Yu-Kwong Kwok, Anthony A. Maciejewski, Howard Jay ...