2007 search results - page 303 / 402 » Using general-purpose programming languages for FPGA design |
ICCCN
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper proposes a spatio-temporal macroprogramming paradigm for push-pull hybrid wireless sensor networks (WSNs). The proposed paradigm, called SpaceTime Oriented Programming ...
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
ISPASS
2005
IEEE
15 years 3 months ago
2005
IEEE
As Java is emerging as one of the major programming languages in software development, studying how Java applications behave on recent SMT processors is of great interest. This pa...
PEPM
1999
ACM
15 years 2 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
CORR
2007
Springer
14 years 10 months ago
2007
Springer
Prolog is an excellent tool for representing and manipulating data written in formal languages as well as natural language. Its safe semantics and automatic memory management make...