4666 search results - page 154 / 934 » Equations on Timed Languages |
159
click to vote
IAJIT
2011
15 years 13 days ago
2011
: The present paper discusses the implementations of sparse matrix-vector products, which are crucial for high performance solutions of large-scale linear equations, on a PC-Cluste...
155
click to vote
SIAMNUM
2011
15 years 12 days ago
2011
A simultaneous space-time variational formulation of a parabolic evolution problem is solved with an adaptive wavelet method. This method is shown to converge with the best possibl...
139
click to vote
ICALT
2009
IEEE
16 years 6 days ago
2009
IEEE
Formative feedback can provide information about how learners develop their competences in a knowledge domain. This information can determine learners’ progress and is essential...
149
click to vote
ISORC
2009
IEEE
16 years 3 days ago
2009
IEEE
Complex real-time embedded systems should be compositional and deterministic in the resource, time, and value domains. Determinism eases the engineering of correct systems and com...
184
click to vote
DSVIS
2001
Springer
15 years 10 months ago
2001
Springer
In a time where mobile computing devices and embedded systems gain importance, too much time is spent to reinventing user interfaces for each new device. To enhance future extensib...