3575 search results - page 202 / 715 » Modeling Concurrency with Geometry |
143
click to vote
JCS
1998
15 years 5 months ago
1998
Multilevel transactions have been proposed for multilevel secure databases; in contrast to most proposals, such transactions allow users to read and write across multiple security...
133
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
Circuit marginality failures in high performance VLSI circuits are projected to increase due to shrinking process geometries and high frequency design techniques. Capacitive cross...
182
click to vote
DC
2010
15 years 6 months ago
2010
Model checking software transactional memories (STMs) is difficult because of the unbounded number, length, and delay of concurrent transactions and the unbounded size of the memo...
151
click to vote
ISSTA
2004
ACM
15 years 11 months ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
194
click to vote
CONCURRENCY
2010
15 years 3 months ago
2010
The faster growth curves in the speed of GPUs relative to CPUs in the past decade and its rapidly gained popularity have spawned a new area of development in computational technol...