2501 search results - page 277 / 501 » Logics with Rank Operators |
149
click to vote
MICRO
2003
IEEE
15 years 11 months ago
2003
IEEE
Ensuring back-to-back execution of dependent instructions in a conventional out-of-order processor requires scheduling logic that wakes up and selects instructions at the same rat...
163
click to vote
SRDS
2003
IEEE
15 years 11 months ago
2003
IEEE
A recent trend has seen the extension of objectoriented middleware to component-oriented middleware. A major advantage components offer over objects is that only the business logi...
169
click to vote
BIRTHDAY
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Bounded fairness is a stronger notion than ordinary eventuality-based fairness, one that guarantees occurrence of an event within a fixed number of occurrences of anothe...
163
click to vote
FM
2001
Springer
15 years 10 months ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
184
click to vote
ICLP
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Groundness analysis of logic programs using Pos-based abstract interpretation is one of the clear success stories of the last decade in the area of logic program analysis...