551 search results - page 83 / 111 » Realizability of Real-Time Logics |
DSD
2008
IEEE
14 years 1 months ago
2008
IEEE
Although preliminary analysis frameworks point out the performance speed-ups achievable by on-chip networks with respect to state-of-the-art interconnects, the area concern remain...
ICDE
2007
IEEE
14 years 1 months ago
2007
IEEE
Several current research efforts in business process modeling are investigating XML-based executable formal specification languages. The availability of the latter allows modeled...
ISCAS
2007
IEEE
14 years 1 months ago
2007
IEEE
—This paper shows that, for a given power budget, a shift register based multi-phase clock generator (MPCG) generates less jitter than a delay-locked loop (DLL) equivalent when b...
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper, two packing algorithms for the detection of activity profiles in MTCMOS-based FPGA structures are proposed for leakage power mitigation. The first algorithm is a ...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
The goal of a Public-Key-Infrastructure (PKI) is to prove whether a cryptographic public key is authentic for a certain user. This information is crucial for the reliability of as...