2057 search results - page 333 / 412 » Developing the Designer's Toolkit with Software Comprehensio... |
148
Voted
OSDI
2002
ACM
16 years 4 months ago
2002
ACM
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain subtle race conditions that make them difficult t...
134
click to vote
SIGMETRICS
2003
ACM
15 years 9 months ago
2003
ACM
The increasing constraints on power consumption in many computing systems point to the need for power modeling and estimation for all components of a system. The Operating System ...
233
click to vote
ICDE
2002
IEEE
16 years 5 months ago
2002
IEEE
In this paper, we explore a new paradigm for data management in which a third party service provider hosts "database as a service" providing its customers seamless mecha...
138
click to vote
COMPSAC
2009
IEEE
15 years 2 months ago
2009
IEEE
1 The paper proposes a new test model, Call-For-Testing (CFT), and applies it to User Acceptance Testing (UAT) of Web Applications. Different from traditional approaches, UAT in th...
123
click to vote
ICFP
2007
ACM
16 years 4 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...