119 search results - page 5 / 24 » A New Method for Compiling Parallel Replacement Rules |
CORR
2008
Springer
13 years 10 months ago
2008
Springer
The paper presents a new stiffness modelling method for overconstrained parallel manipulators, which is applied to 3-d.o.f. translational mechanisms. It is based on a multidimensio...
SAS
2009
Springer
14 years 11 months ago
2009
Springer
We show how, given a program and its separation logic proof, one can parallelize and optimize this program and transform its proof simultaneously to obtain a proven parallelized an...
PLDI
2009
ACM
14 years 5 months ago
2009
ACM
It is often impossible to obtain a one-size-fits-all solution for high performance algorithms when considering different choices for data distributions, parallelism, transformati...
ACL
2012
12 years 1 months ago
2012
This paper presents an unsupervised approach to learning translation span alignments from parallel data that improves syntactic rule extraction by deleting spurious word alignment...
ENTCS
2007
13 years 10 months ago
2007
There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementati...