7092 search results - page 1171 / 1419 » Parallelizing constraint programs |
127
click to vote
WOTUG
2008
15 years 3 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
128
Voted
BMCBI
2007
15 years 2 months ago
2007
Background: Coalescent simulations have proven very useful in many population genetics studies. In order to arrive to meaningful conclusions, it is important that these simulation...
118
Voted
BMCBI
2005
15 years 2 months ago
2005
Background: We observe two trends in bioinformatics: (i) analyses are increasing in complexity, often requiring several applications to be run as a workflow; and (ii) multiple CPU...
137
click to vote
SP
2010
IEEE
15 years 7 days ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...
146
click to vote
ASPLOS
2011
ACM
14 years 6 months ago
2011
ACM
Multicore processors have become ubiquitous in today’s systems, but exploiting the parallelism they offer remains difficult, especially for legacy application and applications ...