4604 search results - page 210 / 921 » Concurrency in Synchronous Systems |
166
click to vote
C3S2E
2008
ACM
15 years 5 months ago
2008
ACM
Software systems bridge the gap between information processing needs and available computer hardware. As system requirements grow in complexity and hardware evolves, the gap does ...
152
click to vote
ENTCS
2008
15 years 4 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
164
click to vote
SIGMOD
2010
ACM
15 years 9 months ago
2010
ACM
Database partitioning is a technique for improving the performance of distributed OLTP databases, since “single partition” transactions that access data on one partition do no...
163
click to vote
ICPPW
2006
IEEE
15 years 10 months ago
2006
IEEE
In recent years, large scale distributed virtual environments have become a major trend in distributed applications, mainly due to the enormous popularity of multiplayer online ga...
102
Voted
SIGSOFT
2000
ACM
15 years 8 months ago
2000
ACM
We present the universe model,a new approach to concurrencymanagement that isolates concurrency concerns and represents them in the modular interface of a component. This approach...