1452 search results - page 90 / 291 » Algorithmic Analysis of Array-Accessing Programs |
101
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Different from sequential programs, parallel programs possess their own characteristics which are difficult to analyze in the multi-process or multi-thread environment. This paper...
ICSE
2010
IEEE-ACM
15 years 5 months ago
2010
IEEE-ACM
Software behavioral models have proven useful for design, validation, verification, and maintenance. However, existing approaches for deriving such models sometimes overgeneraliz...
JSS
2010
14 years 10 months ago
2010
This paper presents results of a study of the effect of global variables on the quantity of dependence in general and on the presence of dependence clusters in particular. The pa...
120
click to vote
TKDE
2012
13 years 2 months ago
2012
—Preparing a data set for analysis is generally the most time consuming task in a data mining project, requiring many complex SQL queries, joining tables and aggregating columns....
207
click to vote
POPL
2008
ACM
16 years 21 days ago
2008
ACM
Java programmers can document that the relationship between two objects is unchanging by declaring the field that encodes that relationship to be final. This information can be us...