Sciweavers

2016 search results - page 361 / 404
» Megamaps: Construction and Examples
Sort
View
TACAS
2001
Springer
119views Algorithms» more  TACAS 2001»
14 years 2 months ago
Compositional Message Sequence Charts
Abstract. A message sequence chart (MSC) is a standard notation for describing the interaction between communicating objects. It is popular among the designers of communication pro...
Elsa L. Gunter, Anca Muscholl, Doron Peled
ICC
2000
IEEE
14 years 2 months ago
Reduced-State BCJR-Type Algorithms
—In this paper, we propose a technique to reduce the number of trellis states in BCJR-type algorithms, i.e., algorithms with a structure similar to that of the well-known algorit...
Giulio Colavolpe, Gian Luigi Ferrari, Riccardo Rah...
ICCAD
2000
IEEE
138views Hardware» more  ICCAD 2000»
14 years 2 months ago
Fast Analysis and Optimization of Power/Ground Networks
This paper presents an efficient method for optimizing power/ground (P/G) networks by widening wires and adding decoupling capacitors (decaps). It proposes a structured skeleton t...
Haihua Su, Kaushik Gala, Sachin S. Sapatnekar
ICRA
2000
IEEE
104views Robotics» more  ICRA 2000»
14 years 2 months ago
Social Potentials for Scalable Multi-Robot Formations
Potential function approaches to robot navigation provide an elegant paradigm for expressing multiple constraints and goals in mobile robot navigation problems 9]. As an example, ...
Tucker R. Balch, Maria Hybinette
INFOVIS
2000
IEEE
14 years 2 months ago
Getting Portals to Behave
Data visualization environments help users understand and analyze their data by permitting interactive browsing of graphical representations of the data. To further facilitate und...
Chris Olston, Allison Woodruff