1445 search results - page 203 / 289 » Architectures to make Simple Visualisations using Simple Sys... |
189
click to vote
ICCD
2008
IEEE
16 years 8 days ago
2008
IEEE
— Clock frequency and transistor density increases have resulted in elevated chip temperatures. In order to meet temperature constraints while still exploiting the performance op...
143
click to vote
VEE
2012
ACM
13 years 11 months ago
2012
ACM
As cloud-based computation becomes increasingly important, providing a general computational interface to support datacenterscale programming has become an imperative research age...
139
click to vote
ASPLOS
2008
ACM
15 years 5 months ago
2008
ACM
Multi-core processors, with low communication costs and high availability of execution cores, will increase the use of execution and compilation models that use short threads to e...
147
Voted
ASE
2005
15 years 3 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
225
click to vote
POPL
2008
ACM
16 years 3 months ago
2008
ACM
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...