2251 search results - page 13 / 451 » Specification and Implementation Problems for C |
87
Voted
SYNTHESE
2008
15 years 1 months ago
2008
Abstract. Consciousness supervenes on activity; computation supervenes on structure. Because of this, some argue, conscious states cannot supervene on computational ones. If true, ...
192
Voted
ARC
2012
Springer
13 years 9 months ago
2012
Springer
Iterative numerical algorithms with high memory bandwidth requirements but medium-size data sets (matrix size ∼ a few 100s) are highly appropriate for FPGA acceleration. This pap...
119
click to vote
ENTCS
2006
15 years 1 months ago
2006
The project Safe Pointers by Graph Transformation at the University of York has developed a method for specifying the shape of pointer-data structures by graph reduction, and a st...
121
click to vote
PROCEDIA
2010
14 years 8 months ago
2010
High performance computing with low cost machines becomes a reality with GPU. Unfortunately, high performances are achieved when the programmer exploits the architectural specific...
116
click to vote
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper is focused on the coordination of order and production policy between buyers and suppliers in supply chains. When a buyer and a supplier of an item work independently, ...