7262 search results - page 1285 / 1453 » Reversible Computer Hardware |
156
click to vote
EUROSYS
2010
ACM
15 years 11 months ago
2010
ACM
The availability of virtualization features in modern CPUs has reinforced the trend of consolidating multiple guest operating systems on top of a hypervisor in order to improve pl...
158
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
146
click to vote
ECRTS
2002
IEEE
15 years 11 months ago
2002
IEEE
Despite having been designed to interconnect office equipment such as computers and printers, since its early days Ethernet has also been considered for use in the industrial doma...
191
click to vote
ICCAD
2002
IEEE
15 years 11 months ago
2002
IEEE
—We present efficient computational methods for scattered point and meshless analysis of electrostatic microelectromechanical systems (MEMS). Electrostatic MEM devices are govern...
175
click to vote
ICPP
2002
IEEE
15 years 11 months ago
2002
IEEE
This work considers switching fabrics with distributed packet routing to achieve high scalability and low costs. The considered switching fabrics are based on a multistage structu...