1346 search results - page 145 / 270 » Alternating-time dynamic logic |
156
click to vote
EUROPAR
2001
Springer
15 years 10 months ago
2001
Springer
Operand bypass logic might be one of the critical structures for future microprocessors to achieve high clock speed. The delay of the logic imposes the execution time budget to be ...
167
click to vote
PPDP
1999
Springer
15 years 9 months ago
1999
Springer
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...
175
click to vote
COMCOM
2006
15 years 5 months ago
2006
Abstract--In this paper we present the design, implementation, and performance analysis of Group-Aided Multicast (GAM), a scalable many-tomany reliable multicast transport protocol...
167
click to vote
ENTCS
2007
15 years 5 months ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
148
click to vote
MJ
2008
15 years 5 months ago
2008
Circuits optimized for minimum energy consumption operate typically in the subthreshold regime with ultra-low power-supply voltages. Speed of a subthreshold logic circuit is enhan...