2335 search results - page 158 / 467 » Type Checking Type Classes |
JSCIC
2011
13 years 5 months ago
2011
Abstract The flux reconstruction approach to high-order methods is robust, efficient, simple to implement, and allows various high-order schemes, such as the nodal discontinuous ...
AMAST
2008
Springer
14 years 8 days ago
2008
Springer
In this paper, we present a novel approach that establishes a synergy between static and dynamic analyses for detecting memory errors in C code. We extend the standard C type syste...
HICSS
2008
IEEE
14 years 4 months ago
2008
IEEE
Rapid developments in digital technologies have brought to force new challenges in innovation. In this paper, we propose a taxonomic framework of innovation networks in order to i...
ISLPED
2004
ACM
14 years 3 months ago
2004
ACM
We present a novel temperature/leakage sensor, developed for high-speed, low-power, monitoring of processors and complex VLSI chips. The innovative idea is the use of 4T SRAM cell...
DGO
2007
13 years 11 months ago
2007
There has been considerable work on determining a suitable method to accomplish a satisfactory ordering of a group of objects, when there are multiple evaluation criteria. A weigh...