4666 search results - page 394 / 934 » Equations on Timed Languages |
207
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Abstract. LAPACK90 is a set of LAPACK90 subroutines which interfaces FORTRAN90 with LAPACK. All LAPACK driver subroutines including expert drivers and some LAPACK computationals ha...
195
click to vote
SIGGRAPH
1993
ACM
15 years 11 months ago
1993
ACM
Radiosity methods have been shown to be an effective means to solve the global illumination problem in Lambertian diffuse environments. These methods approximate the radiosity int...
159
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— We study asymptotic stability of an infinite dimensional system that switches between a finite set of modes. Each mode is governed by a system of one-dimensional, lin...
196
click to vote
PAMI
2002
15 years 6 months ago
2002
Tracking regions in an image sequence is a challenging and di cult problem in image processing and computer vision, and at the same time, one that has many important applications:...
150
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Asynchronous exception propagation is a useful alternative form of communication among threads, especially if timely propagation is ensured. However, timely propagation is impossi...