3736 search results - page 387 / 748 » Generative Programming |
286
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
Web applications typically interact with a back-end database to retrieve persistent data and then present the data to the user as dynamically generated output, such as HTML web pa...
178
click to vote
JUCS
2006
15 years 4 months ago
2006
: Nowadays, many daily human activities such as education, trade, talks, etc are done by using the Internet. In such things as registration on Internet web sites, hackers write pro...
129
click to vote
UM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The vast amount of information presented in museums is often overwhelming to a visitor, making it difficult to select personally interesting exhibits. Advances in mobile...
120
click to vote
SCOPES
2005
Springer
15 years 10 months ago
2005
Springer
Software used in embedded systems is subject to strict timing and space constraints. The growing software complexity creates an urgent need for fast program execution under the co...
141
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...