1472 search results - page 136 / 295 » Designing digital video systems: modeling and scheduling |
296
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
148
click to vote
CIVR
2008
Springer
15 years 7 months ago
2008
Springer
We have developed an interactive video search system that allows the searcher to rapidly assess query results and easily pivot off those results to form new queries. The system i...
194
click to vote
IPPS
2006
IEEE
16 years 14 days ago
2006
IEEE
The paper presents SmartNetSolve, an extension of NetSolve, the programming system for high performance Grid computing. The extension is aimed at higher performance of Grid applic...
152
click to vote
RTSS
2008
IEEE
16 years 25 days ago
2008
IEEE
The standard design of control systems is based on the periodic sampling. Every period the data is read from the input, the control law is computed, and the output is written to t...
135
click to vote
EPIA
1999
Springer
15 years 10 months ago
1999
Springer
YapOr is an or-parallel system that extends the Yap Prolog system to exploit implicit or-parallelism in Prolog programs. It is based on the environment copying model, as first imp...