2111 search results - page 271 / 423 » How to Program Pervasive Systems |
117
click to vote
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
225
Voted
ASPLOS
2009
ACM
16 years 3 months ago
2009
ACM
For many mission-critical tasks, tight guarantees on the flow of information are desirable, for example, when handling important cryptographic keys or sensitive financial data. We...
203
Voted
SIGMOD
2007
ACM
16 years 2 months ago
2007
ACM
We present GPUQP, a relational query engine that employs both CPUs and GPUs (Graphics Processing Units) for in-memory query co-processing. GPUs are commodity processors traditiona...
105
click to vote
IFIP
2001
Springer
15 years 7 months ago
2001
Springer
This paper uses semiotic theories to model how meaning is constructed during an IS development project. Conventionally, shared meanings among all project stakeholders are regarded...
173
Voted
ICFP
1997
ACM
15 years 6 months ago
1997
ACM
We show how to implement a calculus with higher-order subtyping and subkinding by replacing uses of implicit subsumption with explicit coercions. To ensure this can be done, a pol...