6740 search results - page 556 / 1348 » Using Classification as a Programming Language |
141
Voted
ESOP
2005
Springer
15 years 10 months ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...
199
Voted
PPOPP
2011
ACM
14 years 7 months ago
2011
ACM
In recent years, GPUs have emerged as an extremely cost-effective means for achieving high performance. Many application developers, including those with no prior parallel program...
129
click to vote
ERLANG
2007
ACM
15 years 8 months ago
2007
ACM
With the increased use of network enabled applications and server hosted software systems, scalability with respect to network connectivity is becoming an increasingly important s...
138
click to vote
ESOP
2012
Springer
14 years 16 days ago
2012
Springer
Abstract. This paper presents GMeta: a generic framework for firstorder representations of variable binding that provides once and for all many of the so-called infrastructure lem...
137
click to vote
ECOOP
2007
Springer
15 years 11 months ago
2007
Springer
— As new versions of software are developed bugs inevitably arise either due to regression or new functionality. Challenges arise in discovering, managing, and testing the impact...