Sciweavers

4101 search results - page 458 / 821
» Differential Power Analysis
Sort
View
ACSD
2001
IEEE
74views Hardware» more  ACSD 2001»
15 years 10 months ago
From Code to Models
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
Gerard J. Holzmann
LCPC
2000
Springer
15 years 10 months ago
Optimizing the Use of High Performance Software Libraries
Abstract. This paper describes how the use of software libraries, which is prevalent in high performance computing, can benefit from compiler optimizations in much the same way tha...
Samuel Z. Guyer, Calvin Lin
CDC
2009
IEEE
162views Control Systems» more  CDC 2009»
15 years 10 months ago
Control of a two stage turbocharger on a Diesel engine
— Two stage turbochargers have been developed recently for Diesel engines in order to improve their performances in terms of power, consumption, emissions and dynamic behavior (s...
Philippe Moulin, Olivier Grondin, Laurent Fontviei...
ICPR
2010
IEEE
15 years 8 months ago
SemiCCA: Efficient Semi-Supervised Learning of Canonical Correlations
Canonical correlation analysis (CCA) is a powerful tool for analyzing multi-dimensional paired data. However, CCA tends to perform poorly when the number of paired samples is limit...
Akisato Kimura, Hirokazu Kameoka, Masashi Sugiyama...
EGOV
2008
Springer
15 years 7 months ago
Control, De-politicization and the eState
Using an extensive case analysis of the Bhoomi system of India, this paper examines the role and nature of the state with regards to the rationale for and deployment of e-governmen...
Rahul De'