211 search results - page 34 / 43 » Recursion in reconfigurable computing: A survey of implement... |
CORR
2011
Springer
13 years 12 days ago
2011
Springer
— 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...
CCGRID
2006
IEEE
14 years 2 months ago
2006
IEEE
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...
CACM
2005
13 years 8 months ago
2005
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...
ICFP
2002
ACM
14 years 8 months ago
2002
ACM
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 ...
FASE
2010
Springer
13 years 12 months ago
2010
Springer
Runtime assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method preand postconditions, but mostly ignore assignabl...