2943 search results - page 294 / 589 » Software Implementation of Synchronous Programs |
149
Voted
CODES
2009
IEEE
15 years 7 months ago
2009
IEEE
Field Programmable Gate Arrays (FPGAs) have long held the promise of allowing designers to create systems with performance levels close to custom circuits but with a softwarelike ...
127
Voted
POPL
2010
ACM
16 years 26 days ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
EMSOFT
2003
Springer
15 years 8 months ago
2003
Springer
We introduce the paradigm of schedule-carrying code (SCC). A hard real-time program can be executed on a given platform only if there exists a feasible schedule for the real-time t...
120
Voted
ICCD
2006
IEEE
16 years 12 days ago
2006
IEEE
—This paper introduces the microarchitecture and logical implementation of SMT (Simultaneous Multithreading) improvement of Godson-2 processor which is a 64-bit, four-issue, out-...
135
click to vote
IJHPCN
2006
15 years 3 months ago
2006
Abstract-- The performance of collective communication operations is known to have a significant impact on the scalability of some applications. Indeed, the global, synchronous nat...