983 search results - page 114 / 197 » Negative-Weight Cycle Algorithms |
ICCAD
2001
IEEE
15 years 9 months ago
2001
IEEE
Retiming is a widely investigated technique for performance optimization. It performs powerful modifications on a circuit netlist. However, often it is not clear, whether the pred...
100
Voted
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper we introduce “clipping,” a new method of syntactic approximation which is motivated by and works in conjunction with a sound and decidable denotational model for...
100
Voted
ISCAS
2008
IEEE
15 years 7 months ago
2008
IEEE
— A low energy modulo-multiplier is proposed for elliptic curve cryptography (ECC) processor, especially for authentication in mobile device or key encryption in embedded health-...
112
click to vote
ICNSC
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— In time varying packet-switched networks, delivering data with high reliability using a limited amount of network resources is highly desirable. To capture the trade-of...
121
click to vote
IEEESCC
2005
IEEE
15 years 6 months ago
2005
IEEE
Two practical paradigms are presented, which facilitate domain concepts to be directly used to model business operations: the first paradigm is based on the business artifacts and...