Sciweavers

1301 search results - page 112 / 261
» Specifications via Realizability
Sort
View
140
Voted
ICSE
2004
IEEE-ACM
16 years 3 months ago
A Framework for Ensuring and Improving Dependability in Highly Distributed Systems
A distributed software system's deployment architecture can have a significant impact on the system's dependability. Dependability is a function of various system paramet...
Sam Malek, Nels Beckman, Marija Mikic-Rakic, Nenad...
117
Voted
MOBIHOC
2007
ACM
16 years 3 months ago
Secure incentives for commercial ad dissemination in vehicular networks
Vehicular ad hoc networks (VANETs) are envisioned to provide us with numerous interesting services in the near future. One of the most promising applications is the dissemination ...
Suk-Bok Lee, Gabriel Pan, Joon-Sang Park, Mario Ge...
118
Voted
WISE
2009
Springer
16 years 28 days ago
Maximizing Utility for Content Delivery Clouds
A content delivery cloud, such as MetaCDN1 , is an integrated overlay that utilizes cloud computing to provide content delivery services to Internet end-users. While it ensures sat...
Al-Mukaddim Khan Pathan, James Broberg, Rajkumar B...
136
Voted
ICCD
2004
IEEE
98views Hardware» more  ICCD 2004»
16 years 20 days ago
Thermal-Aware IP Virtualization and Placement for Networks-on-Chip Architecture
Networks-on-Chip (NoC), a new SoC paradigm, has been proposed as a solution to mitigate complex on-chip interconnect problems. NoC architecture consists of a collection of IP core...
Wei-Lun Hung, Charles Addo-Quaye, Theo Theocharide...
ICCAD
2003
IEEE
152views Hardware» more  ICCAD 2003»
16 years 19 days ago
Fredkin/Toffoli Templates for Reversible Logic Synthesis
Reversible logic has applications in quantum computing, low power CMOS, nanotechnology, optical computing, and DNA computing. The most common reversible gates are the Toffoli gate...
Dmitri Maslov, Gerhard W. Dueck, D. Michael Miller