Sciweavers

1165 search results - page 101 / 233
» Effective linear programming based placement methods
Sort
View
SERP
2004
15 years 4 months ago
Using Clustering Technique to Restructure Programs
Program restructuring or refactoring is often required when a function becomes too large or is involved in multiple activities and therefore exhibits low cohesion. A critical fact...
Chung-Horng Lung, Marzia Zaman
IFL
1998
Springer
113views Formal Methods» more  IFL 1998»
15 years 6 months ago
Shared Memory Multiprocessor Support for SAC
Abstract. Sac (Single Assignment C) is a strict, purely functional programming language primarily designed with numerical applications in mind. Particular emphasis is on efficient ...
Clemens Grelck
107
Voted
SAS
2007
Springer
112views Formal Methods» more  SAS 2007»
15 years 8 months ago
Taming the Wrapping of Integer Arithmetic
Variables in programs are usually confined to a fixed number of bits and results that require more bits are truncated. Due to the use of 32-bit and 64-bit variables, inadvertent ...
Axel Simon, Andy King
CAV
2007
Springer
166views Hardware» more  CAV 2007»
15 years 8 months ago
Fast and Accurate Static Data-Race Detection for Concurrent Programs
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, A...
113
Voted
ICASSP
2008
IEEE
15 years 9 months ago
Distributed average consensus with increased convergence rate
The average consensus problem in the distributed signal processing context is addressed by linear iterative algorithms, with asymptotic convergence to the consensus. The convergen...
Boris N. Oreshkin, Tuncer C. Aysal, Mark Coates