2409 search results - page 114 / 482 » Building Components from Functions |
82
Voted
EPEW
2007
Springer
15 years 6 months ago
2007
Springer
In software systems, individual components interact not only through explicit function invocations, but also through implicit resource sharing. The use of shared resources signifi...
103
click to vote
ICFP
2008
ACM
16 years 10 days ago
2008
ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...
102
Voted
AAAI
2006
15 years 1 months ago
2006
This paper presents a novel framework for simultaneously learning representation and control in continuous Markov decision processes. Our approach builds on the framework of proto...
94
Voted
CCGRID
2007
IEEE
15 years 6 months ago
2007
IEEE
Image analysis is an important component of neuroscience research. The ICT infrastructure and technical knowledge needed to perform (large scale) neuroimaging studies, however, is...
VTS
2000
IEEE
15 years 4 months ago
2000
IEEE
1 At-speed testing is becoming increasingly difficult with external testers as the speed of microprocessors approaches the GHz range. One solution to this problem is built-in self-...