Sciweavers

5005 search results - page 239 / 1001
» The Design and Analysis of Parallel Algorithms
Sort
View
RE
2002
Springer
15 years 4 months ago
Exploring the Relationship between Project Selection and Requirements Analysis: An Empirical Study of the New Millennium Program
The relationship between project selection and requirements analysis is important, yet has not received much attention. The decisions made during project selection directly affect...
Mark Bergman, Gloria Mark
DEBS
2008
ACM
15 years 6 months ago
Replica placement for high availability in distributed stream processing systems
A significant number of emerging on-line data analysis applications require the processing of data streams, large amounts of data that get updated continuously, to generate output...
Thomas Repantis, Vana Kalogeraki
FMCAD
2006
Springer
15 years 8 months ago
Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning
Pervasive Logic is a broad term applied to the variety of logic present in hardware designs, yet not a part of their primary functionality. Examples of pervasive logic include init...
Tilman Glökler, Jason Baumgartner, Devi Shanm...
CAV
2000
Springer
197views Hardware» more  CAV 2000»
15 years 8 months ago
Bounded Model Construction for Monadic Second-Order Logics
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...
Abdelwaheb Ayari, David A. Basin
FPL
2003
Springer
80views Hardware» more  FPL 2003»
15 years 9 months ago
High-Level Design Tools for FPGA-Based Combinatorial Accelerators
Analysis of different combinatorial search algorithms has shown that they have a set of distinctive features in common. The paper suggests a number of reusable blocks that support ...
Valery Sklyarov, Iouliia Skliarova, Pedro Almeida,...