1005 search results - page 98 / 201 » A Language for Manipulating Arrays |
137
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
126
click to vote
JAVA
1999
Springer
15 years 8 months ago
1999
Springer
Several Java bindings of the Message Passing Interface standard, MPI, have been developed recently. Message bu ers have usually been restricted to arrays with elements of primitiv...
130
click to vote
POPL
1998
ACM
15 years 8 months ago
1998
ACM
Memory expansions are classical means to extract parallelism from imperative programs. However, for dynamic control programs with general memory accesses, such transformations eit...
185
click to vote
ISSTA
1991
ACM
15 years 7 months ago
1991
ACM
Program slices are useful in debugging. Most work on program slicing to date has concentrated on nding slices of programs involving only scalar variables. Pointers and composite v...
121
click to vote
ECIR
2007
Springer
15 years 5 months ago
2007
Springer
This paper introduces the concept of a Parameterised Search System (PSS), which allows flexibility in user queries, and, more importantly, allows system engineers to easily defin...