Sciweavers

10213 search results - page 176 / 2043
» An Experimental Analysis of Parallel
Sort
View
IPPS
1998
IEEE
14 years 6 days ago
A Mathematical Benefit Analysis of Context Switching Reconfigurable Computing
Dynamicreconfigurationoffieldprogrammablegatearrays(FPGAs)hasrecentlyemergedasthenextstepinreconfigurable computing. Sanders,ALockheedMartinCompany,isdevelopingtheenablingtechnolo...
Stephen M. Scalera, John J. Murray, Steve Lease
COORDINATION
2008
Springer
13 years 9 months ago
Formal Analysis of BPMN Via a Translation into COWS
A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reas...
Davide Prandi, Paola Quaglia, Nicola Zannone
FSTTCS
2003
Springer
14 years 1 months ago
Reachability Analysis of Process Rewrite Systems
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
Ahmed Bouajjani, Tayssir Touili
WCET
2010
13 years 5 months ago
Towards WCET Analysis of Multicore Architectures Using UPPAAL
To take full advantage of the increasingly used shared-memory multicore architectures, software algorithms will need to be parallelized over multiple threads. This means that thre...
Andreas Gustavsson, Andreas Ermedahl, Björn L...
SIGMETRICS
2011
ACM
196views Hardware» more  SIGMETRICS 2011»
13 years 2 months ago
Performance analysis of the OP2 framework on many-core architectures
We present a performance analysis and benchmarking study P2 “active” library, which provides an abstraction framework for the solution of parallel unstructured mesh applicatio...
M. B. Giles, Gihan R. Mudalige, Z. Sharif, Graham ...