7117 search results - page 1219 / 1424 » IT Governance Frameworks as Methods |
176
click to vote
ARC
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Loops are an important source of optimization. In this paper, we address such optimizations for those cases when loops contain kernels mapped on reconfigurable fabric. We...
183
click to vote
GLVLSI
2010
IEEE
15 years 9 months ago
2010
IEEE
This paper describes a physics-based semi-analytical model for Schottky-barrier carbon nanotube (CNT) and graphene nanoribbon (GNR) transistors. The model includes the treatment o...
179
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
One of the key issues with the practical applicability of Proof-Carrying Code (PCC) and its related methods is the difficulty in communicating the proofs which are inherently larg...
181
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...
214
click to vote
CIBB
2008
15 years 9 months ago
2008
During the last decade, several clustering and association rule mining techniques have been applied to highlight groups of coregulated genes in gene expression data. Nowadays, inte...