2007 search results - page 264 / 402 » Using general-purpose programming languages for FPGA design |
120
click to vote
ICDCS
1990
IEEE
15 years 7 months ago
1990
IEEE
The underlying model of distributed systems is that of loosely coupled components r running in parallel and communicating by message passing. Description, construction and evoluti...
140
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
The growing design-productivity gap has made designers shift toward using high-level languages like C, C++ and Java to do system-level design. High-Level Synthesis (HLS) is the pro...
242
Voted
PADL
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
147
click to vote
WCRE
2003
IEEE
15 years 8 months ago
2003
IEEE
Many modern software systems are often large, distributed, written in more than one programming language, and developed using pre-built components. This paper presents the results...
129
click to vote
OOPSLA
2004
Springer
15 years 8 months ago
2004
Springer
A proxy object is a surrogate or placeholder that controls access to another target object. Proxies can be used to support distributed programming, lazy or parallel evaluation, ac...