Sciweavers

1458 search results - page 219 / 292
» Extended Term Rewriting Systems
Sort
View
108
Voted
ICCAD
2002
IEEE
126views Hardware» more  ICCAD 2002»
15 years 5 months ago
Robust and passive model order reduction for circuits containing susceptance elements
Numerous approaches have been proposed to address the overwhelming modeling problems that result from the emergence of magnetic coupling as a dominant performance factor for ICs a...
Hui Zheng, Lawrence T. Pileggi
109
Voted
WISE
2002
Springer
15 years 5 months ago
An MDP-based Peer-to-Peer Search Server Network
A distributed search system consists of a large number of autonomous search servers logically connected in a peerto-peer network. Each search server maintains a local index of a c...
Yipeng Shen, Dik Lun Lee
EUROPAR
2009
Springer
15 years 5 months ago
Capturing and Visualizing Event Flow Graphs of MPI Applications
A high-level understanding of how an application executes and which performance characteristics it exhibits is essential in many areas of high performance computing, such as applic...
Karl Fürlinger, David Skinner
104
Voted
FM
2001
Springer
130views Formal Methods» more  FM 2001»
15 years 5 months ago
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
Mícheál Mac an Airchinnigh
104
Voted
VISUALIZATION
1999
IEEE
15 years 5 months ago
LOD-Sprite Technique for Accelerated Terrain Rendering
We present a new rendering technique, termed LOD-sprite rendering, which uses a combination of a level-of-detail (LOD) representation of the scene together with reusing image spri...
Baoquan Chen, J. Edward Swan II, Eddy Kuo, Arie E....