Sciweavers

9595 search results - page 136 / 1919
» Functional programming in C
Sort
View
MEMOCODE
2010
IEEE
15 years 2 months ago
Monitoring temporal SystemC properties
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
Deian Tabakov, Moshe Y. Vardi
SIES
2008
IEEE
15 years 11 months ago
Scalably distributed SystemC simulation for embedded applications
SystemC becomes popular as an efficient system-level modelling language and simulation platform. However, the solethread simulation kernel obstacles its performance progress from ...
Kai Huang, Iuliana Bacivarov, Fabian Hugelshofer, ...
146
Voted
ICCS
2005
Springer
15 years 10 months ago
A Data-Adaptive Approach to cDNA Microarray Image Enhancement
Abstract. A data-adaptive approach for cDNA microarray image enhancement is presented. Through the weighting coefficients adaptively determined from local microarray image statisti...
Rastislav Lukac, Konstantinos N. Plataniotis, Bogd...
ICIC
2009
Springer
15 years 11 months ago
Function Sequence Genetic Programming
Genetic Programming(GP) can obtain a program structure to solve complex problem. This paper presents a new form of Genetic Programming, Function Sequence Genetic Programming (FSGP)...
Shixian Wang, Yuehui Chen, Peng Wu
BIRTHDAY
2007
Springer
15 years 11 months ago
A Denotational Semantics for Handel-C
We present a denotational semantics for a fully functional subset of the Handel-C hardware compilation language [1], based on the concept of typed assertion traces. We motivate the...
Andrew Butterfield