3547 search results - page 346 / 710 » Pseudo-Exhaustive Testing for Software |
207
Voted
SAFECOMP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
288
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
Even though graphics processors (GPUs) are becoming increasingly popular for general purpose computing, current (and likely near future) generations of GPUs do not provide hardwar...
181
Voted
ASSETS
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we compare alternative techniques for evaluating a software system for simplifying the readability of texts for adults with mild intellectual disabilities (ID). We ...
187
Voted
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Systems using Software Agents (or Multi-Agent Systems, MAS) are becoming more popular within the development mainstream because, as the name suggests, an Agent aims to handle task...
181
click to vote
OOPSLA
2005
Springer
16 years 11 days ago
2005
Springer
Parametric polymorphism has become a common feature of mainstream programming languages, but software component architectures have lagged behind and do not support it. We examine ...