10899 search results - page 524 / 2180 » The GP Programming System |
208
click to vote
ILP
2007
Springer
16 years 1 months ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
198
click to vote
3DPVT
2006
IEEE
16 years 1 months ago
2006
IEEE
We present a stereo algorithm that achieves high quality results while maintaining real-time performance. The key idea is simple: we introduce an adaptive aggregation step in a dy...
156
click to vote
SAMOS
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. Systems-on-Chip (SoCs) may be built upon general purpose CPUs or application-specific instruction-set processors (ASIPs). On the one hand, ASIPs allow a tradeoff betwee...
228
click to vote
CSCLP
2004
Springer
16 years 13 days ago
2004
Springer
We introduce a framework for studying and solving a class of CSP formulations. The framework allows constraints to be expressed as linear and nonlinear equations, then compiles th...
184
click to vote
DSN
2003
IEEE
16 years 10 days ago
2003
IEEE
Abstract: We present a new approach that uses compilerdirected fault-injection for coverage testing of recovery code in Internet services to evaluate their robustness to operating ...