Sciweavers

9186 search results - page 88 / 1838
» A Module System for Scheme
Sort
View
CDC
2009
IEEE
134views Control Systems» more  CDC 2009»
14 years 17 days ago
Neural control of the Wells turbine-generator module
— Wave energy is one of the most promising forms of ocean renewable sources because of its high availability. The Wells turbine has been one of the defining technologies in the d...
Modesto Amundarain, Mikel A. Goitia, Aitor J. Garr...
MOBISYS
2008
ACM
13 years 11 months ago
Lightweight module isolation for sensor nodes
There is an increasing tendency in sensor networks (and related networked embedded systems) to push more complexity and `intelligence' into end-nodes. This in turn leads to a ...
Nirmal Weerasinghe, Geoff Coulson
CONCUR
2007
Springer
14 years 3 months ago
Pushdown Module Checking with Imperfect Information
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
Benjamin Aminof, Aniello Murano, Moshe Y. Vardi
DDECS
2006
IEEE
95views Hardware» more  DDECS 2006»
14 years 3 months ago
Parallel Memory Architecture for Arbitrary Stride Accesses
—Parallel memory modules can be used to increase memory bandwidth and feed a processor with only necessary data. Arbitrary stride access capability with interleaved memories is d...
Eero Aho, Jarno Vanne, Timo D. Hämäl&aum...
EUROPAR
2004
Springer
14 years 2 months ago
Visual Data Rectangular Memory
We focus on the parallel access of randomly aligned rectangular blocks of visual data. As an alternative of traditional linearly addressable memories, we suggest a memory organizat...
Georgi Kuzmanov, Georgi Gaydadjiev, Stamatis Vassi...