7892 search results - page 221 / 1579 » Programming with Models |
104
click to vote
SIGSOFT
2009
ACM
16 years 2 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
CPAIOR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. AND/OR search spaces are a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is its sensitivity to the struc...
103
click to vote
SAS
2007
Springer
15 years 7 months ago
2007
Springer
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
109
click to vote
PARA
1995
Springer
15 years 5 months ago
1995
Springer
Coarse grain parallelism inherent in the solution of Linear Programming (LP) problems with block angular constraint matrices has been exploited in recent research works. However, t...
JUCS
2007
15 years 1 months ago
2007
: Student satisfaction with distance learning is impacted by a variety of factors, including interaction with the instructor and the structure of the course. Satisfaction with dist...