Sciweavers

1734 search results - page 74 / 347
» What works
Sort
View
PEPM
2007
ACM
14 years 2 months ago
The semantics of graphical languages
Visual notations are pervasive in circuit design, control systems, and increasingly in mainstream programming environments. Yet many of the foundational advances in programming la...
Stephan Ellner, Walid Taha
WER
2007
Springer
14 years 2 months ago
Evaluating the Effectiveness of Using Catalogues to Elicit Non-Functional Requirements
: Non-Functional Requirements (NFR) are subjective, interactive and relative, thus realizing the need for particular NFR is by itself a challenge. Furthermore understanding what th...
Luiz Marcio Cysneiros
ICDCSW
2005
IEEE
14 years 1 months ago
Reconciling the Theory and Practice of (Un)Reliable Wireless Broadcast
Theorists and practitioners have fairly different perspectives on how wireless broadcast works. Theorists think about synchrony; practitioners think about backoff. Theorists assum...
Gregory Chockler, Murat Demirbas, Seth Gilbert, Na...
ASPDAC
2004
ACM
87views Hardware» more  ASPDAC 2004»
14 years 1 months ago
ShatterPB: symmetry-breaking for pseudo-Boolean formulas
Many important tasks in circuit design and verification can be performed in practice via reductions to Boolean Satisfiability (SAT), making SAT a fundamental EDA problem. However ...
Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Kare...
DMSN
2004
ACM
14 years 1 months ago
Optimization of in-network data reduction
We consider the in-network computation of approximate “big picture” summaries in bandwidth-constrained sensor networks. First we review early work on computing the Haar wavele...
Joseph M. Hellerstein, Wei Wang