854 search results - page 163 / 171 » Addressing Dynamic Issues of Program Model Checking |
134
click to vote
IEEEPACT
2009
IEEE
14 years 9 months ago
2009
IEEE
Resource sharing can cause unfair and unpredictable performance of concurrently executing applications in Chip-Multiprocessors (CMP). The shared last-level cache is one of the mos...
85
Voted
ISQED
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper, we address the interconnect-driven floorplanning problem that integrates OPC-friendly bus assignment with floorplanning. Buses consist of a number of horizontal/v...
87
Voted
HPDC
1999
IEEE
15 years 3 months ago
1999
IEEE
Efficient and robust metacomputing requires the decomposition of complex jobs into tasks that must be scheduled on distributed processing nodes. There are various ways of creating...
91
Voted
FPGA
2004
ACM
15 years 3 months ago
2004
ACM
Embedded systems combine a processor with dedicated logic to meet design specifications at a reasonable cost. The attempt to amalgamate two distinct design environments introduces...
PERCOM
2007
ACM
15 years 11 months ago
2007
ACM
Due to the inherent nature of their heterogeneity, resource scarcity and dynamism, the provision of middleware for future networked embedded environments is a challenging task. In...