551 search results - page 83 / 111 » Realizability of Real-Time Logics |
134
click to vote
DSD
2008
IEEE
15 years 12 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...
152
click to vote
ICDE
2007
IEEE
15 years 11 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...
115
Voted
ISCAS
2007
IEEE
15 years 11 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...
130
Voted
DATE
2005
IEEE
15 years 11 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 ...
166
click to vote
HICSS
2005
IEEE
15 years 11 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...