9186 search results - page 1544 / 1838 » A Module System for Scheme |
165
Voted
HPCC
2007
Springer
15 years 7 months ago
2007
Springer
Vector, emerging (homogenous and heterogeneous) multi-core and a number of accelerator processing devices potentially offer an order of magnitude speedup for scientific application...
106
click to vote
DEXA
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Workflow management systems (WFMS) coordinate execution of multiple tasks performed by different entities within an organization. In order to coordinate the execution of ...
147
click to vote
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...
129
click to vote
AIPR
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper describes an approach for using several levels of data fusion in the domain of autonomous off-road navigation. We are focusing on outdoor obstacle detection, and we pre...
129
click to vote
EDBT
2000
ACM
15 years 7 months ago
2000
ACM
The MIX mediator systems incorporates a novel framework for navigation-driven evaluation of virtual mediated views. Its architecture allows the on-demand computation of views and q...