475 search results - page 86 / 95 » Formal Analysis of Processor Timing Models |
142
Voted
CVIU
2011
14 years 6 months ago
2011
Combinatorial maps describe the subdivision of objects in cells, and incidence and adjacency relations between cells, and they are widely used to model 2D and 3D images. However, ...
119
Voted
DAC
2007
ACM
15 years 6 months ago
2007
ACM
A growing number of networked applications is implemented on increasingly complex automotive platforms with several bus standards and gateways. Together, they challenge the automo...
186
Voted
CCS
2011
ACM
14 years 2 months ago
2011
ACM
Cloud computing is quickly becoming the platform of choice for many web services. Virtualization is the key underlying technology enabling cloud providers to host services for a l...
120
Voted
CCGRID
2010
IEEE
15 years 3 months ago
2010
IEEE
Markets of computing resources typically consist of a cluster (or a multi-cluster) and jobs that arrive over time and request computing resources in exchange for payment. In this p...
123
Voted
AINA
2009
IEEE
15 years 9 months ago
2009
IEEE
The architectures which support modern supercomputing machinery are as diverse today, as at any point during the last twenty years. The variety of processor core arrangements, thr...