3228 search results - page 208 / 646 » Basics of Compiler Design |
137
Voted
SOFSEM
2007
Springer
15 years 9 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
156
Voted
DIGRA
2005
Springer
15 years 9 months ago
2005
Springer
The increasing popularity of persistent worlds and the predicted rise of pervasive gaming, both having a strong inherent potential for role-playing, stress a classical challenge o...
137
Voted
PPSC
1993
15 years 4 months ago
1993
The dense nonsymmetric eigenproblem is one of the hardest linear algebra problems to solvee ectively on massivelyparallel machines. Rather than trying to design a black box" ...
158
click to vote
JAMIA
2010
14 years 10 months ago
2010
In 1997, the American Medical Informatics Association proposed a US information strategy that included a population health record (PopHR). Despite subsequent progress on the conce...
150
Voted
TVCG
2012
13 years 6 months ago
2012
—This paper presents a 2D flow visualization user study that we conducted using new methodologies to increase the objectiveness. We evaluated grid-based variable-size arrows, eve...