Sciweavers

769 search results - page 17 / 154
» Analysis of recursively parallel programs
Sort
View
CANPC
1998
Springer
15 years 4 months ago
Analysis of a Programmed Backoff Method for Parallel Processing on Ethernets
In many parallel processing applications, task times have relatively little variability. Accordingly, many nodes will complete a task at approximately the same time. If the applica...
Norman S. Matloff
DAC
1996
ACM
15 years 3 months ago
A Parallel Precorrected FFT Based Capacitance Extraction Program for Signal Integrity Analysis
In order to optimize interconnect to avoid signal integrity problems, very fast and accurate 3-D capacitance extraction is essential. Fast algorithms, such as the multipole or prec...
Narayan R. Aluru, V. B. Nadkarni, James White
ATVA
2006
Springer
160views Hardware» more  ATVA 2006»
15 years 3 months ago
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
Giorgio Delzanno, Javier Esparza, Jirí Srba
AOSD
2010
ACM
15 years 6 months ago
Parallel dynamic analysis on multicores with aspect-oriented programming
Danilo Ansaloni, Walter Binder, Alex Villazó...