1830 search results - page 100 / 366 » Functional Programs as Linked Data |
117
click to vote
DAC
2005
ACM
15 years 5 months ago
2005
ACM
This paper describes a novel technique called Embedded Test-bench Control (ETC), extensively used in the verification of Tensilica’s latest configurable processor. Conventional ...
148
click to vote
MSV
2004
15 years 4 months ago
2004
Clustering is a prominent method in the data mining field. It is a discovery process that groups data such that intra cluster similarity is maximized and the inter cluster similar...
103
Voted
ECOOP
2006
Springer
15 years 7 months ago
2006
Springer
Adaptive Programming (AP) allows for the separate definition of data structures and traversals with attached computations, performed during the traversal, that operate on these dat...
130
click to vote
POPL
2010
ACM
16 years 19 days ago
2010
ACM
We present an analysis to automatically determine if a program represents a continuous function, or equivalently, if infinitesimal changes to its inputs can only cause infinitesim...
160
click to vote
GI
2009
Springer
15 years 1 months ago
2009
Springer
: Data management in the life sciences has evolved from simple storage of data to complex information systems providing additional functionalities like analysis and visualization c...