Sciweavers

5786 search results - page 383 / 1158
» Lines Pinning Lines
Sort
View
MICRO
2002
IEEE
128views Hardware» more  MICRO 2002»
16 years 19 days ago
Compiler-directed instruction cache leakage optimization
Excessive power consumption is widely considered as a major impediment to designing future microprocessors. With the continued scaling down of threshold voltages, the power consum...
Wei Zhang 0002, Jie S. Hu, Vijay Degalahal, Mahmut...
RE
2001
Springer
16 years 4 days ago
Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
Margaret H. Smith, Gerard J. Holzmann, Kousha Etes...
DEXAW
2000
IEEE
92views Database» more  DEXAW 2000»
16 years 4 days ago
Consistent Queries over Cardinal Directions across Different Levels of Detail
Current models for cardinal directions, such as north and northeast, are either point-based or region-based, but no models exist that apply equally, independent of the geometric d...
Roop K. Goyal, Max J. Egenhofer
HICSS
2000
IEEE
101views Biometrics» more  HICSS 2000»
16 years 4 days ago
Strategic Management of IS/IT Functions: The Role of the CIO
Chief information officers (CIOs) have the difficult job of running a function that uses a lot of resources but offers little measurable evidence of its value. Line managers are i...
Petter Gottschalk, Nolan J. Taylor
ICPR
2010
IEEE
16 years 2 days ago
Large Margin Classifier Based on Affine Hulls
This paper introduces a geometrically inspired large-margin classifier that can be a better alternative to the Support Vector Machines (SVMs) for the classification problems with ...
Hakan Cevikalp, Hasan Serhan Yavuz