372 search results - page 10 / 75 » time 1996 |
126
Voted
ASPLOS
1996
ACM
15 years 4 months ago
1996
ACM
On a distributed memory machine, hand-coded message passing leads to the most efficient execution, but it is difficult to use. Parallelizing compilers can approach the performance...
113
Voted
DAC
1996
ACM
15 years 4 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
103
Voted
ICECCS
1996
IEEE
15 years 4 months ago
1996
IEEE
Compiler optimization techniques have been applied to facilitate development and performance tuning of non-real-time systems. Unfortunately, regular compiler optimization can comp...
90
Voted
DAC
1996
ACM
15 years 4 months ago
1996
ACM
This paper presents a new concept for accurate modeling and timing simulationof electronicsystems integrated in a typical VHDL design environment, taking into account the requirem...
91
Voted
MVA
1996
15 years 1 months ago
1996
We propose a video enhancement sensor for smoothing random noise and getting wide dynamic range. The sensor has computational elements based on a column-parallel architecture. It ...