3307 search results - page 415 / 662 » The meaning of concurrent programs |
217
click to vote
PLDI
2010
ACM
16 years 10 days ago
2010
ACM
We present smooth interpretation, a method to systematically approximate numerical imperative programs by smooth mathematical functions. This approximation facilitates the use of ...
233
click to vote
PVLDB
2008
15 years 6 months ago
2008
We propose EndoScope, a software monitoring framework that allows users to pose declarative queries that monitor the state and performance of running programs. Unlike most existin...
176
click to vote
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
— In this paper we present a novel method for visual scanning and target tracking by means of independent pan-tilt cameras which mimic the chameleon visual system. We present a s...
177
click to vote
ISCC
2005
IEEE
16 years 25 days ago
2005
IEEE
This study deals with the Delay-Constrained Minimum Cost Loop Problem (DC-MCLP) of finding several loops from a source node. The DC-MCLP consists of finding a set of minimum cost ...
207
click to vote
IPPS
2002
IEEE
16 years 5 days ago
2002
IEEE
SAC is a purely functional array processing language designed with numerical applications in mind. It supports generic, high-level program specifications in the style of APL. How...