3228 search results - page 208 / 646 » Basics of Compiler Design |
203
Voted
SOFSEM
2007
Springer
16 years 28 days 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...
201
click to vote
DIGRA
2005
Springer
16 years 11 days 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...
174
click to vote
PPSC
1993
15 years 8 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" ...
220
click to vote
JAMIA
2010
15 years 1 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...
210
click to vote
TVCG
2012
13 years 9 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...