4421 search results - page 414 / 885 » Libraries |
107
click to vote
ESOP
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. We propose a new formalisation of stability for Rely-Guarantee, in which an assertion's stability is encoded into its syntactic form. This allows two advances in mod...
135
click to vote
ICCD
2004
IEEE
16 years 1 months ago
2004
IEEE
Decimal arithmetic is regaining popularity in the computing community due to the growing importance of commercial, financial, and Internet-based applications, which process decima...
114
click to vote
ICCD
2003
IEEE
16 years 1 months ago
2003
IEEE
We present a methodology for a power-optimized, software-controlled Translation Lookaside Buffer (TLB) organization. A highly reduced number of Virtual Page Number (VPN) bits suf...
125
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
Ignoring the effect of simultaneous switching for logic gates causes silicon failures for high performance microprocessor designs. The main reason to omit this effect is the run...
151
click to vote
AOSD
2010
ACM
15 years 11 months ago
2010
ACM
The development of complex software requires the implementation of functions over a variety of recursively defined data structures. The design (and modeling) of structures can it...