Sciweavers

54 search results - page 1 / 11
» A framework for numeric analysis of array operations
Sort
View
POPL
2005
ACM
14 years 5 months ago
A framework for numeric analysis of array operations
Denis Gopan, Thomas W. Reps, Shmuel Sagiv
TWC
2008
105views more  TWC 2008»
13 years 4 months ago
Receive Antenna Array Strategies in Fading and Interference: An Outage Probability Comparison
We explore tradeoffs between different reception strategies of multiple receive antennas in fading channels with co-channel interference (CCI). Our tradeoff analysis is based on ou...
Juan M. Romero-Jerez, Andrea J. Goldsmith
ASAP
1997
IEEE
106views Hardware» more  ASAP 1997»
13 years 9 months ago
Libraries of schedule-free operators in Alpha
This paper presents a method, based on the formalism of affine recurrence equations, for the synthesis of digital circuits exploiting parallelism at the bit-level. In the initial ...
Florent de Dinechin
BMCBI
2005
137views more  BMCBI 2005»
13 years 4 months ago
ArrayQuest: a web resource for the analysis of DNA microarray data
Background: Numerous microarray analysis programs have been created through the efforts of Open Source software development projects. Providing browser-based interfaces that allow...
Gary L. Argraves, Saurin D. Jani, Jeremy L. Barth,...
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
13 years 8 months ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi