Sciweavers

160
Voted
CPE
1994
Springer
170views Hardware» more  CPE 1994»
15 years 4 months ago
Automatic Scalability Analysis of Parallel Programs Based on Modeling Techniques
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...
Allen D. Malony, Vassilis Mertsiotakis, Andreas Qu...
ICCAD
1994
IEEE
200views Hardware» more  ICCAD 1994»
15 years 4 months ago
Techniques for crosstalk avoidance in the physical design of high-performance digital systems
Interconnectperformance does not scale well into deep submicron dimensions, and the rising number of analog effects erodes tal abstraction necessary for high levels of integration...
Desmond Kirkpatrick, Alberto L. Sangiovanni-Vincen...
CAV
1994
Springer
113views Hardware» more  CAV 1994»
15 years 4 months ago
A Determinizable Class of Timed Automata
We introduce event-recording automata. An event-recording automaton is a timed automaton that contains, for every event a, a clock that records the time of the last occurrence of a...
Rajeev Alur, Limor Fix, Thomas A. Henzinger
147
Voted
ULPAA
1994
152views Hardware» more  ULPAA 1994»
15 years 1 months ago
Programming with ASN.1 Using Polymorphic Types and Type Specialization
object-oriented abstractions is described that permits direct programming with ASN.1 speci ed types. The design and implementation also supports the exible use of di erent encoding...
R. Greg Lavender, Dennis G. Kafura, R. W. Mullins
132
Voted
ICCAD
1994
IEEE
122views Hardware» more  ICCAD 1994»
15 years 4 months ago
An enhanced flow model for constraint handling in hierarchical multi-view design environments
In this paper we present an enhanced design flow model that increases the capabilities of a CAD framework to support design activities on hierarchical multi-view design descriptio...
Pieter van der Wolf, K. Olav ten Bosch, Alfred van...
Hardware
Top of PageReset Settings