7557 search results - page 18 / 1512 » Modeling Timed Concurrent Systems |
137
Voted
DEXAW
1996
IEEE
15 years 7 months ago
1996
IEEE
ENTCS
2010
15 years 3 months ago
2010
101
Voted
TCS
2008
15 years 3 months ago
2008
138
Voted
MICRO
2010
IEEE
14 years 10 months ago
2010
IEEE
Today's transactional memory systems implement the two-phase-locking (2PL) algorithm which aborts transactions every time a conflict happens. 2PL is a simple algorithm that pr...
142
Voted
DAC
2007
ACM
16 years 4 months ago
2007
ACM
An effective method for focusing optimization effort on the most important parts of a design is to examine those elements on the critical path. Traditionally, the critical path is...