1304 search results - page 222 / 261 » Model Checking C Programs Using F-SOFT |
121
Voted
MICRO
2010
IEEE
15 years 12 days ago
2010
IEEE
As the number of cores and threads in manycore compute accelerators such as Graphics Processing Units (GPU) increases, so does the importance of on-chip interconnection network des...
170
click to vote
ASPLOS
2010
ACM
15 years 9 months ago
2010
ACM
Scalable heterogeneous computing systems, which are composed of a mix of compute devices, such as commodity multicore processors, graphics processors, reconfigurable processors, ...
135
click to vote
ICCD
2006
IEEE
15 years 11 months ago
2006
IEEE
By integrating one or more (hard or soft) CPU core on the chip, new generation platform FPGAs have become configurable systems on a chip (CSoC) that support a combined software an...
ICCAD
2005
IEEE
15 years 11 months ago
2005
IEEE
— In this paper we propose an exact algorithm that maximizes the sharing of partial terms in Multiple Constant Multiplication (MCM) operations. We model this problem as a Boolean...
193
Voted
ANCS
2011
ACM
14 years 2 months ago
2011
ACM
Network virtualization has emerged as a powerful technique to deploy novel services and experimental protocols over shared network infrastructures. Although recent research has hi...