Sciweavers

1067 search results - page 84 / 214
» Analysis of BPEL Data Dependencies
Sort
View
PLDI
2011
ACM
14 years 3 months ago
Automatic compilation of MATLAB programs for synergistic execution on heterogeneous processors
MATLAB is an array language, initially popular for rapid prototyping, but is now being increasingly used to develop production code for numerical and scientific applications. Typ...
Ashwin Prasad, Jayvant Anantpur, R. Govindarajan
102
Voted
ICSM
1999
IEEE
15 years 4 months ago
Using Coupling Measurement for Impact Analysis in Object-Oriented Systems
Many coupling measures have been proposed in the context of object-oriented (OO) systems. In addition, several studies have highlighted the complexity of using dependency analysis...
Lionel C. Briand, Jürgen Wüst, Hakim Lou...
68
Voted
CIKM
1997
Springer
15 years 4 months ago
An Analysis of Cardinality Constraints in Redundant Relationships
In this paper, we present a complete analysis of redundant relationships in the entity-relationship model. Existing approaches use the concept of functional dependencies for ident...
James Dullea, Il-Yeol Song
100
Voted
CAV
2006
Springer
116views Hardware» more  CAV 2006»
15 years 4 months ago
Lazy Shape Analysis
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
Dirk Beyer, Thomas A. Henzinger, Grégory Th...
99
Voted
COMCOM
2006
151views more  COMCOM 2006»
15 years 18 days ago
Characteristic analysis of internet traffic from the perspective of flows
The necessity of network traffic monitoring and analysis is growing dramatically with increasing network usage demands from individual users as well as business communities. Most ...
Myung-Sup Kim, Young J. Won, James W. Hong