7139 search results - page 123 / 1428 » Language Engineering in Practice |
175
click to vote
ASPLOS
2011
ACM
14 years 6 months ago
2011
ACM
Graphics processing units (GPUs) provide a low cost platform for accelerating high performance computations. The introduction of new programming languages, such as CUDA and OpenCL...
102
click to vote
UIST
2009
ACM
15 years 8 months ago
2009
ACM
A pressure sensitive computer keyboard is presented that independently senses the force level on every depressed key. The design leverages existing membrane technologies and is su...
132
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
For most Web-based applications, contents are created dynamically based on the current state of a business, such as product prices and inventory, stored in database systems. These...
117
click to vote
CIBSE
2009
ACM
15 years 9 months ago
2009
ACM
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
164
click to vote
PPOPP
2009
ACM
16 years 3 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...