7430 search results - page 456 / 1486 » Programming Applications in CIFF |
191
Voted
JCO
2010
15 years 5 months ago
2010
We study the extremal parameter N(n, m, H) which is the largest number of copies of a hypergraph H that can be formed of at most n vertices and m edges. Generalizing previous work...
203
Voted
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...
207
click to vote
PRL
2010
15 years 5 months ago
2010
The GESTALT-System is a stratified architecture for challenging computer vision tasks. This contribution focuses on the 3rd and 4th layer of it – the grouping and decision layer...
174
Voted
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Software Transactional Memories (STMs) are emerging as a highly attractive programming model, thanks to their ability to mask concurrency management issues to the overlying applic...
184
Voted
MASS
2010
15 years 4 months ago
2010
In this paper we describe SpartanRPC, a secure middleware technology for wireless sensor network (WSN) applications supporting cooperation between distinct protection domains. The ...