Sciweavers

211 search results - page 34 / 43
» Recursion in reconfigurable computing: A survey of implement...
Sort
View
105
Voted
CORR
2011
Springer
170views Education» more  CORR 2011»
14 years 3 months ago
A Family of Adaptive Filter Algorithms in Noise Cancellation for Speech Enhancement
— In many application of noise cancellation, the changes in signal characteristics could be quite fast. This requires the utilization of adaptive algorithms, which converge rapid...
Sayed A. Hadei, Mojtaba Lotfizad
CCGRID
2006
IEEE
15 years 5 months ago
SSB : A Grid-based Infrastructure for HLA Systems
Service Oriented EXtensible Modeling and Simulation Supporting Environment Architecture (SO-XMSSEA) is presented based on XMSF thinking and the new technology development of web s...
Xu Li-juan, Peng Xiao-yuan
113
Voted
CACM
2005
126views more  CACM 2005»
14 years 11 months ago
Extrovert gadgets
This paper presents a set of architectures for the composition of ubiquitous computing applications. It describes research that is being carried out in "extrovert-Gadgets&quo...
Achilles Kameas, Irene Mavrommati
ICFP
2002
ACM
15 years 11 months ago
Composing monads using coproducts
Monads are a useful abstraction of computation, as they model diverse computational effects such as stateful computations, exceptions and I/O in a uniform manner. Their potential ...
Christoph Lüth, Neil Ghani
68
Voted
FASE
2010
Springer
15 years 2 months ago
Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups
Runtime assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method preand postconditions, but mostly ignore assignabl...
Hermann Lehner, Peter Müller