Sciweavers

2082 search results - page 152 / 417
» Change Paths in Reasoning!
Sort
View
ASPDAC
2004
ACM
88views Hardware» more  ASPDAC 2004»
15 years 9 months ago
A high performance bus communication architecture through bus splitting
Abstract— A split shared-bus architecture with multiple simultaneous bus accesses is proposed. Compared to traditional bus architectures, the performance of proposed architecture...
Ruibing Lu, Cheng-Kok Koh
ICNP
2003
IEEE
15 years 9 months ago
Exploiting Routing Redundancy via Structured Peer-to-Peer Overlays
Structured peer-to-peer overlays provide a natural infrastructure for resilient routing via efficient fault detection and precomputation of backup paths. These overlays can respo...
Ben Y. Zhao, Ling Huang, Jeremy Stribling, Anthony...
CSL
2003
Springer
15 years 9 months ago
Simple Stochastic Parity Games
Many verification, planning, and control problems can be modeled as games played on state-transition graphs by one or two players whose conflicting goals are to form a path in th...
Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A...
ISPD
1999
ACM
97views Hardware» more  ISPD 1999»
15 years 8 months ago
A methodology to analyze power, voltage drop and their effects on clock skew/delay in early stages of design
This paper presents a methodology to analyze signal integrity such as power voltage drop and clock skew in early stages of design, more specifically, when RTL-design and early flo...
Masato Iwabuchi, Noboru Sakamoto, Yasushi Sekine, ...
VLDB
1990
ACM
91views Database» more  VLDB 1990»
15 years 7 months ago
An Incremental Join Attachment for Starburst
ABSTRACT - In this paperwe describe the design, implementation, and performance of an incremental join facility that has been added as an extension to the Starburst extensible DBMS...
Michael J. Carey, Eugene J. Shekita, George Lapis,...