3591 search results - page 453 / 719 » Typing linear constraints |
134
click to vote
DAC
1999
ACM
16 years 7 months ago
1999
ACM
Recently, a number of watermarking-based intellectual property protection techniques have been proposed. Although they have been applied to different stages in the design process ...
184
click to vote
VLSID
2003
IEEE
16 years 7 months ago
2003
IEEE
Abstract-- In battery driven portable applications, the minimization of energy, average power, peak power, and peak power differential are equally important to improve reliability ...
235
click to vote
SEMCO
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
151
click to vote
SASP
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper we present a method for construction of application specific processor cores from a given C code. Our approach consists of three phases. We start by quantifying t...
183
click to vote
WIMOB
2008
IEEE
16 years 1 months ago
2008
IEEE
—Multi-hop wireless mesh networks (WMNs) are considered a promising technology to backhaul heterogeneous data traffic from wireless access networks to the wired Internet. WMNs a...