6829 search results - page 983 / 1366 » Quantitative Generalizations of Languages |
215
Voted
HT
2004
ACM
16 years 8 days ago
2004
ACM
In this paper, we present a model-driven methodology and toolset for automatic generation of hypertext system repositories. Our code generator, called Bamboo, is based on a Contai...
195
click to vote
ITICSE
2004
ACM
16 years 8 days ago
2004
ACM
SQL (Structured Query Language) is one of the essential topics in foundation databases courses in higher education. Due to its apparent simple syntax, learning to use the full pow...
244
Voted
PLDI
2004
ACM
16 years 8 days ago
2004
ACM
With billion-transistor chips on the horizon, single-chip multiprocessors (CMPs) are likely to become commodity components. Speculative CMPs use hardware to enforce dependence, al...
221
Voted
PLDI
2004
ACM
16 years 8 days ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
200
click to vote
VRML
2004
ACM
16 years 8 days ago
2004
ACM
Increasingly, biology researchers and medical practitioners are using computational tools to model and analyze dynamic systems across scales from the macro to the cellular to the ...