12107 search results - page 2029 / 2422 » Software That Can Think |
166
click to vote
FMCO
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...
174
click to vote
FOSSACS
2005
Springer
16 years 8 days ago
2005
Springer
The idea of composition and decomposition to obtain computability results is particularly relevant for true-concurrency. In contrast to the interleaving world, where composition an...
152
click to vote
FPL
2005
Springer
16 years 8 days ago
2005
Springer
This paper describes a method based on polynomial approximation for transferring ROM resources used in FPGA designs to multiplication and addition operations. The technique can be...
230
click to vote
FPL
2005
Springer
16 years 8 days ago
2005
Springer
With the onset of Gigabit networks, current generation networking components will soon be insufficient for numerous reasons: most notably because existing methods cannot support h...
173
click to vote
FPL
2005
Springer
16 years 8 days ago
2005
Springer
Dynamically reconfigurable logic is becoming an important design unit in SoC system. A method to make the reconfiguration management transparent to software applications is requir...