2007 search results - page 307 / 402 » Using general-purpose programming languages for FPGA design |
149
click to vote
ASPLOS
2006
ACM
15 years 9 months ago
2006
ACM
While hardware instruction caches are present in virtually all general-purpose and high-performance microprocessors today, many embedded processors use SRAM or scratchpad memories...
126
Voted
PADL
2004
Springer
15 years 8 months ago
2004
Springer
Message Sequence Charts (MSC) have traditionally been used as a weak form of behavioral requirements in software design; they denote scenarios which may happen. Live Sequence Chart...
126
click to vote
FCCM
2007
IEEE
15 years 9 months ago
2007
IEEE
Programming efficiency of heterogeneous concurrent systems is limited by the use of lock-based synchronization mechanisms. Transactional memories can greatly improve the programmi...
108
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Parallel programming is facilitated by constructs which, unlike the widely used SPMD paradigm, provide programmers with a global view of the code and data structures. These constr...
114
click to vote
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...