492 search results - page 40 / 99 » Simplifying Probabilistic Programs Using Computer Algebra |
ASPLOS
2010
ACM
15 years 4 months ago
2010
ACM
Symbiotic job scheduling boosts simultaneous multithreading (SMT) processor performance by co-scheduling jobs that have ‘compatible’ demands on the processor’s shared resour...
ECAI
2008
Springer
15 years 23 days ago
2008
Springer
Abstract. We introduce the first substantial approach to preprocessing in the context of answer set solving. The idea is to simplify a logic program while identifying equivalences ...
HPCA
2007
IEEE
15 years 11 months ago
2007
IEEE
With the advent of ubiquitous multi-core architectures, a major challenge is to simplify parallel programming. One way to tame one of the main sources of programming complexity, n...
124
click to vote
CCECE
2006
IEEE
15 years 5 months ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
ICALT
2008
IEEE
15 years 5 months ago
2008
IEEE
This paper presents the adaptation model used in NUCLEO, a pilot e-learning environment that is currently being developed at the Complutense University of Madrid. The NUCLEO syste...