2007 search results - page 318 / 402 » Using general-purpose programming languages for FPGA design |
102
click to vote
VL
2008
IEEE
15 years 4 months ago
2008
IEEE
Assessing software quality and understanding how events in its evolution have lead to anomalies are two important steps toward reducing costs in software maintenance. Unfortunatel...
IPPS
2007
IEEE
15 years 4 months ago
2007
IEEE
Babel is a high-performance, n-way language interoperability tool for the HPC community that now includes support for distributed computing via Remote Method Invocation (RMI). We ...
WCRE
1999
IEEE
15 years 2 months ago
1999
IEEE
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual pages...
IFIP
1999
Springer
15 years 2 months ago
1999
Springer
Supply Chain Management (SCM) plans and controls the production over a group of autonomous enterprises. Process-oriented design is used to eliminate inefficiencies of the chain on...
110
click to vote
CSL
2006
Springer
15 years 1 months ago
2006
Springer
Separation Logic is a sub-structural logic that supports local reasoning for imperative programs. It is designed to elegantly describe sharing and aliasing properties of heap struc...