963 search results - page 29 / 193 » $M$-Solid Varieties of Languages |
SIGPLAN
2008
13 years 9 months ago
2008
Three key forces are shaping the modern Computer Science (CS) curriculum: (1) new topics/courses are squeezing out existing ones; (2) a focus on "big picture" and interd...
PPOPP
2012
ACM
12 years 5 months ago
2012
ACM
Graphics processing units (GPUs) are powerful devices capable of rapid parallel computation. GPU programming, however, can be quite difficult, limiting its use to experienced prog...
ICS
2001
Tsinghua U.
14 years 2 months ago
2001
Tsinghua U.
At Rice University, we have undertaken a project to construct a framework for generating high-level problem solving languages that can achieve high performance on a variety of pla...
PLDI
1997
ACM
14 years 2 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
TOSEM
2002
13 years 9 months ago
2002
Abstract. The Unified Modeling Language (UML) is a family of design notations that is rapidly becoming a de facto standard software design language. UML provides a variety of usefu...