11716 search results - page 7 / 2344 » Computable symbolic dynamics |
158
click to vote
SC
1991
ACM
15 years 9 months ago
1991
ACM
Kanada, Y., A method of vector processing for shared symbolic data, Parallel Computing, X (1993) XXX-XXX. Conventional processing techniques for pipelined vector processors such a...
162
click to vote
IPPS
2007
IEEE
16 years 7 days ago
2007
IEEE
We present a quality management method for multimedia applications. The method takes as input an application software composed of actions. The execution times of actions are unkno...
172
click to vote
EMSOFT
2008
Springer
15 years 7 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
168
click to vote
FDL
2008
IEEE
16 years 12 days ago
2008
IEEE
—In this paper, we propose a quasi-static scheduling (QSS) method applicable to actor-oriented SystemC designs. QSS determines a schedule where several static schedules are combi...
174
click to vote
ADG
1998
Springer
15 years 10 months ago
1998
Springer
This paper reviews and evaluates three main techniques for automated geometry diagram construction: synthetic methods, numerical computation methods, and symbolic computation metho...