Sciweavers

3228 search results - page 184 / 646
» Basics of Compiler Design
Sort
View
127
Voted
DAC
2006
ACM
16 years 4 months ago
Fast analysis of structured power grid by triangularization based structure preserving model order reduction
In this paper, a Triangularization Based Structure preserving (TBS) model order reduction is proposed to verify power integrity of on-chip structured power grid. The power grid is...
Hao Yu, Yiyu Shi, Lei He
147
Voted
DIGITALCITIES
2001
Springer
15 years 8 months ago
Connecting Digital and Physical Cities
As a platform for community networks, public information spaces that mirror the city metaphor are being developed around the world. The aim of digital cities is to pursue a future ...
Toru Ishida, Hiroshi Ishiguro, Hideyuki Nakanishi
TMC
2010
134views more  TMC 2010»
15 years 1 months ago
Enabling Efficient Peer-to-Peer Resource Sharing in Wireless Mesh Networks
—Wireless mesh networks are a promising area for the deployment of new wireless communication and networking technologies. In this paper, we address the problem of enabling effec...
Claudia Canali, Maria Elena Renda, Paolo Santi, Si...
POPL
2009
ACM
15 years 10 months ago
The semantics of power and ARM multiprocessor machine code
We develop a rigorous semantics for Power and ARM multiprocessor programs, including their relaxed memory model and the behaviour of reasonable fragments of their instruction sets...
Jade Alglave, Anthony C. J. Fox, Samin Ishtiaq, Ma...
127
Voted
AICCSA
2007
IEEE
89views Hardware» more  AICCSA 2007»
15 years 9 months ago
Software/Configware Implementation of Combinatorial Algorithms
This paper discusses an approach for solving combinatorial problems by combining software and dynamically reconfigurable hardware (configware). The suggested technique avoids inst...
Iouliia Skliarova, Valery Sklyarov