2007 search results - page 228 / 402 » Using general-purpose programming languages for FPGA design |
128
Voted
GPCE
2007
Springer
15 years 9 months ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
136
click to vote
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
Just as some functions have uniform behavior over distinct types, other functions have uniform behavior over distinct arities. These variable-arity functions are widely used in scr...
117
Voted
ADAEUROPE
2009
Springer
15 years 10 months ago
2009
Springer
With the development of embedded and mobile systems, Java is widely used for application programs and is also considered for implementing systems kernel or application platforms. I...
131
Voted
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
122
click to vote
ECOOP
1994
Springer
15 years 7 months ago
1994
Springer
Real-time programs are, in general, difficult to design and verify. The inheritance mechanism can be useful in reusing well-defined and verified real-time programs. In application...