Sciweavers

769 search results - page 17 / 154
» Analysis of recursively parallel programs
Sort
View
CANPC
1998
Springer
14 years 1 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
14 years 1 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»
14 years 20 days 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
14 years 3 months ago
Parallel dynamic analysis on multicores with aspect-oriented programming
Danilo Ansaloni, Walter Binder, Alex Villazó...