2007 search results - page 276 / 402 » Using general-purpose programming languages for FPGA design |
115
click to vote
SIGCSE
2005
ACM
15 years 8 months ago
2005
ACM
In this paper we describe how a single Khepera II robot was used for an assignment in a senior level course on graphical user interface implementation. The assignment required eac...
138
click to vote
CAV
1997
Springer
15 years 6 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
135
click to vote
AHS
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper presents a mechanism for the separation of control and data flow in NoC-based SoCs consisting of multiple heterogeneous reconfigurable IP cores. This mechanism enables ...
116
click to vote
ICLP
1999
Springer
15 years 7 months ago
1999
Springer
Concurrency in Logic Programming has received much attention in the past. One problem with many proposals, when applied to Prolog, is that they involve large modifications to the...
122
click to vote
ICECCS
2005
IEEE
15 years 8 months ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...