8179 search results - page 318 / 1636 » The PRACTIONIST Development Tool |
164
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
CAL is a dataflow oriented language for writing high-level specifications of signal processing applications. The language has recently been standardized and selected for the new...
145
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
A novel framework for the factorisation of complex-valued data is derived using recent developments in complex statistics. Unlike existing factorisation tools the algorithms can c...
195
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. In earlier work, we developed a technique to prove termination of Java programs automatically: first, Java programs are automatically transformed to term rewrite systems...
166
click to vote
TCAD
2002
15 years 6 months ago
2002
VLSI fabrication technology has advanced rapidly, bringing with it a strong demand for faster and better design automation tools. Accurate reporting of results for placement appro...
211
click to vote
HCI
2009
15 years 4 months ago
2009
The mobile phone has become one of the most popular products amongst today's consumers. The Mobile Phone Usability Questionnaire (MPUQ) was developed to provide an effective s...