10707 search results - page 256 / 2142 » Designing executable abstractions |
145
click to vote
GLOBECOM
2008
IEEE
15 years 10 months ago
2008
IEEE
— Private Computing on Public Platforms (PCPP) is a new technology designed to enable secure and private execution of applications on remote, potentially hostile, public platform...
149
click to vote
ECMDAFA
2007
Springer
15 years 10 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
136
click to vote
HPCA
2006
IEEE
15 years 10 months ago
2006
IEEE
Performance of multithreaded programs is heavily influenced by the latencies of the thread management and synchronization operations. Improving these latencies becomes especially...
112
click to vote
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...
154
click to vote
KBSE
2003
IEEE
15 years 9 months ago
2003
IEEE
Database application programs are often designed to be executed concurrently by many clients. By grouping related database queries into transactions, DBMS systems can guarantee th...