12453 search results - page 46 / 2491 » Concurrent Data Structures |
JCT
2011
14 years 6 months ago
2011
We investigate finite 3-nets embedded in a projective plane over a (finite or infinite) field of any characteristic p. Such an embedding is regular when each of the three clas...
SIGSOFT
2003
ACM
16 years 19 days ago
2003
ACM
Program slicing is a technique to identify statements that may influence the computations at other statements. Precise slicing has been shown to be undecidable for concurrent prog...
ICC
2009
IEEE
14 years 9 months ago
2009
IEEE
The current Internet architecture nicely structures functionality into layers of protocols. While this reduces complexity, many tweaks have emerged because of the architecture'...
WECWIS
2009
IEEE
15 years 6 months ago
2009
IEEE
Business rules are a cornerstone of the consistency management of e-commerce data. The concurrency of transactions by multiple customers of e-commerce services (e.g., seat reserva...
110
click to vote
ISCA
2009
IEEE
15 years 6 months ago
2009
IEEE
Detecting data races in parallel programs is important for both software development and production-run diagnosis. Recently, there have been several proposals for hardware-assiste...