Sciweavers

4586 search results - page 516 / 918
» Computing stable models in parallel
Sort
View
CCGRID
2005
IEEE
16 years 10 days ago
Analyzing the advance reservation of lightpaths in lambda-grids
The scheme of advance reservations in dynamically provisioned optical networks is novel, and there are no gridbased applications designed to utilize this scheme. We formally defi...
Sumit Naiksatam, Silvia M. Figueira, Stephen A. Ch...
ACL
2009
15 years 4 months ago
Improving Tree-to-Tree Translation with Packed Forests
Current tree-to-tree models suffer from parsing errors as they usually use only 1best parses for rule extraction and decoding. We instead propose a forest-based tree-to-tree model...
Yang Liu, Yajuan Lü, Qun Liu
174
Voted
ISPDC
2003
IEEE
15 years 12 months ago
Role Activity Diagrams as Finite State Processes
Many formal modelling notations for business processes have been proposed during the last decade. They can be broadly classified into high-level visual notations, with an intuiti...
Costin Badica, Amelia Badica, Valentin Litoiu
SIGOPS
2010
108views more  SIGOPS 2010»
15 years 5 months ago
Cloud-TM: harnessing the cloud with distributed transactional memories
One of the main challenges to harness the potential of Cloud computing is the design of programming models that simplify the development of large-scale parallel applications and t...
Paolo Romano, Luís Rodrigues, Nuno Carvalho...
IPPS
2009
IEEE
16 years 1 months ago
Long time-scale simulations of in vivo diffusion using GPU hardware
To address the problem of performing long time simulations of biochemical pathways under in vivo cellular conditions, we have developed a lattice-based, reaction-diffusion model t...
Elijah Roberts, John E. Stone, Leonardo Sepulveda,...