7121 search results - page 170 / 1425 » Modeling Signs Using Functional Data Analysis |
120
click to vote
ICCD
2001
IEEE
15 years 10 months ago
2001
IEEE
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
102
click to vote
MKWI
2008
15 years 3 months ago
2008
: The possibility of a direct link between business workflows and the supporting application system is often seen as the critical strength of the SOA paradigm. Though in practice, ...
117
click to vote
EUROMICRO
2007
IEEE
15 years 3 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
117
click to vote
ICIP
2000
IEEE
16 years 3 months ago
2000
IEEE
An algorithm is described for reconstructing images from colour sensor samples, which need not be aligned nor conform to a rectangular sampling geometry. The algorithm has applica...
163
click to vote
PPOPP
2011
ACM
14 years 4 months ago
2011
ACM
In recent years, GPUs have emerged as an extremely cost-effective means for achieving high performance. Many application developers, including those with no prior parallel program...