2550 search results - page 114 / 510 » The Meaning of Open Standards |
346
click to vote
FPGA
2011
ACM
14 years 10 months ago
2011
ACM
In this paper, we introduce a new open source high-level synthesis tool called LegUp that allows software techniques to be used for hardware design. LegUp accepts a standard C pro...
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
We propose in this paper a definition of the normal law on the space of strings. This definition allows generations of sets of strings that have controled statistical features. Mo...
152
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
We report on the formal verification of the floating point unit used in the VAMP processor. The FPU is fully IEEE compliant, and supports denormals and exceptions in hardware. The ...
154
click to vote
FORTE
2001
15 years 7 months ago
2001
A symbolic semantics for Full LOTOS in terms of symbolic transition systems is defined; the semantics extends the (infinitely branching) standard semantics by giving meaning to da...
211
click to vote
DASIP
2010
15 years 1 months ago
2010
Nowadays, the design flow of complex signal processing embedded systems starts with a specification of the application by means of a large and sequential program (usually in C/C++...