278 search results - page 44 / 56 » A Framework for Counterexample Generation and Exploration |
EUROPAR
2009
Springer
14 years 3 months ago
2009
Springer
The size of supercomputers in numbers of processors is growing exponentially. Today’s largest supercomputers have upwards of a hundred thousand processors and tomorrow’s may ha...
VLSI
2005
Springer
14 years 1 months ago
2005
Springer
This work addresses the problem of application mapping in networks-on-chip (NoCs) having as goal to minimize the total dynamic energy consumption of a complex system-on-a-chip (So...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
While much research has shown that ALNs can produce learning equivalent to FTF classrooms, there has been little empirical research that explicitly and rigorously explores similar...
ICC
2007
IEEE
14 years 9 days ago
2007
IEEE
Abstract-- UWB and 802.11n have both been touted as technologies for next generation wireless networks. UWB exploiting a large bandwidth, and 802.11n utilizing MIMO, demonstrate hi...
CP
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Cost-based filtering is a novel approach that combines techniques from Operations Research and Constraint Programming to filter from decision variable domains values that...