1760 search results - page 232 / 352 » Program Analysis Using Weighted Pushdown Systems |
169
click to vote
CONCURRENCY
2000
15 years 2 months ago
2000
When comparing OpenMP to other parallel programming models, it is easier to choose between OpenMP and MPI than between OpenMP and POSIX Threads (Pthreads). With languages like C a...
115
Voted
POPL
2011
ACM
14 years 5 months ago
2011
ACM
Shared-memory concurrency in C and C++ is pervasive in systems programming, but has long been poorly defined. This motivated an ongoing shared effort by the standards committees ...
113
click to vote
JMLR
2011
14 years 9 months ago
2011
Reports of experiments conducted with an Inductive Logic Programming system rarely describe how specific values of parameters of the system are arrived at when constructing model...
102
Voted
WSC
2007
15 years 4 months ago
2007
This paper describes the motivations, methods, and solution concepts for the use of ontologies for simulation model integration. Ontological analysis has been shown to be an effec...
131
click to vote
SIGMOD
2011
ACM
14 years 5 months ago
2011
ACM
Today’s one-pass analytics applications tend to be data-intensive in nature and require the ability to process high volumes of data efficiently. MapReduce is a popular programm...