3507 search results - page 467 / 702 » Slicing for architectural analysis |
197
click to vote
IRI
2007
IEEE
16 years 1 months ago
2007
IEEE
We describe a new framework for building a system that consists of tools and services for supporting Cyberinfrastructure based scientific research. This system, called the Semanti...
199
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
—CMOS radio receiver architectures, based on radio frequency (RF) sampling followed by discrete-time (D-T) signal processing via switched-capacitor circuits, have recently been p...
201
click to vote
ITNG
2007
IEEE
16 years 1 months ago
2007
IEEE
: There has been a lot of interest in recent years in the problems faced by cryptosystems due to side channel attacks. Algorithms for elliptic curve point scalar multiplication suc...
160
click to vote
SIPS
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, the Time-Division Multiplexing (TDM) architecture for the Hybrid Filter Bank (HFB) A/D Converters (ADCs) is studied in the time domain. Giving a brief survey on the...
184
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...