3330 search results - page 256 / 666 » software 2010 |
133
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
We propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations wh...
111
click to vote
HIPEAC
2010
Springer
16 years 28 days ago
2010
Springer
We address the problem of performance and power-efficient thread allocation in a CMP. To that end, based on analytical model, we introduce a parameterized performance/power metric ...
118
click to vote
HIPEAC
2010
Springer
16 years 28 days ago
2010
Springer
Abstract. This paper presents remote store programming (RSP), a programming paradigm which combines usability and efficiency through the exploitation of a simple hardware mechanism...
120
Voted
IUI
2010
ACM
16 years 22 days ago
2010
ACM
In this paper we present a new way of translating documents by using a Web-based system. An interactive approach is proposed as an alternative to post-editing the output of a mach...
126
click to vote
ESSOS
2010
Springer
16 years 21 days ago
2010
Springer
In the challenge of ensuring the correct behaviour of legacy implementations of security protocols, a formally-based approach is presented to design and implement monitors that sto...