3868 search results - page 363 / 774 » A Distributed Parallel Programming Framework |
190
click to vote
EDOC
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we provide a semantic foundation for role-related concepts in Enterprise Modelling. We use a conceptual modelling framework to provide a wellfounded underpinning fo...
146
click to vote
CISIS
2010
IEEE
16 years 2 days ago
2010
IEEE
Abstract—Program performance optimisations, feedbackdirected iterative compilation and auto-tuning systems [1] all assume a fixed estimation of execution time given a fixed inp...
210
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
197
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
Parallel programming is elusive. The relative performance of di erent parallel implementations varies with machine architecture, system and problem size. How to compare di erent i...
245
click to vote
BANFF
1995
15 years 10 months ago
1995
The automata-theoretic approach to linear temporal logic uses the theory of automata as a unifying paradigm for program specification, verification, and synthesis. Both programs ...