8197 search results - page 1458 / 1640 » Adaptive functional programming |
117
click to vote
ICDM
2007
IEEE
15 years 6 months ago
2007
IEEE
Data discretization is defined as a process of converting continuous data attribute values into a finite set of intervals with minimal loss of information. In this paper, we prove...
133
click to vote
HIPEAC
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. On multi-core architectures with software-managed memories, effectively orchestrating data movement is essential to performance, but is tedious and error-prone. In this p...
132
Voted
CAV
2004
Springer
15 years 6 months ago
2004
Springer
Predicate abstraction has been proved effective for verifying several infinite-state systems. In predicate abstraction, an abstract system is automatinstructed given a set of predi...
141
click to vote
COOPIS
2004
IEEE
15 years 6 months ago
2004
IEEE
Matching descriptions of user requirements against descriptions of service capabilities is crucial for the discovery of appropriate services for a given task. To improve the precis...
140
Voted
DAC
2004
ACM
15 years 6 months ago
2004
ACM
In System on Chip (SoC) design, growing design complexity has esigners to start designs at higher abstraction levels. This paper proposes an SoC design methodology that makes full...