2466 search results - page 122 / 494 » Algorithms for distributed functional monitoring |
118
Voted
CONCUR
2004
Springer
15 years 8 months ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
123
click to vote
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
Functional Reactive Programming (FRP) is a framework for reactive programming in a functional setting. FRP has been applied to a number of domains, such as graphical animation, gr...
119
click to vote
SIGGRAPH
1992
ACM
15 years 6 months ago
1992
ACM
We describe a physically-based Monte Carlo technique for approximating bidirectional reflectance distribution functions (BRDFs) for a large class of geometries by directly simulat...
137
click to vote
DAC
2004
ACM
15 years 6 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...
120
click to vote
TIP
2008
15 years 2 months ago
2008
Previous research applying kernel methods such as support vector machines (SVMs) to hyperspectral image classification has achieved performance competitive with the best available ...