Sciweavers

1783 search results - page 72 / 357
» Provenance and Data Synchronization
Sort
View
105
Voted
KBSE
2007
IEEE
15 years 10 months ago
Towards automatic model synchronization from model transformations
The metamodel techniques and model transformation techniques provide a standard way to represent and transform data, especially the software artifacts in software development. How...
Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zh...
119
Voted
PADS
2004
ACM
15 years 9 months ago
Conservative Synchronization of Large-Scale Network Simulations
Parallel discrete event simulation techniques have enabled the realization of large-scale models of communication networks containing millions of end hosts and routers. However, t...
Alfred Park, Richard M. Fujimoto, Kalyan S. Peruma...
140
Voted
SPAA
2012
ACM
13 years 6 months ago
SALSA: scalable and low synchronization NUMA-aware algorithm for producer-consumer pools
We present a highly-scalable non-blocking producer-consumer task pool, designed with a special emphasis on lightweight synchronization and data locality. The core building block o...
Elad Gidron, Idit Keidar, Dmitri Perelman, Yonatha...
155
Voted
IPPS
2006
IEEE
15 years 9 months ago
A calculus of functional BSP programs with projection
Bulk Synchronous Parallel ML (BSML) is an extension of the functional language Objective Caml to program Bulk Synchronous Parallel (BSP) algorithms. It is deterministic, deadlock ...
Frédéric Loulergue
130
Voted
EUROPAR
2000
Springer
15 years 7 months ago
A Combinatorial Characterization of Properties Preserved by Antitokens
Balancing networks are highly distributed data structures used to solve multiprocessor synchronization problems. Typically, balancing networks are accessed by tokens, and the distr...
Costas Busch, Neophytos Demetriou, Maurice Herlihy...