7329 search results - page 1118 / 1466 » Software Architectural Transformation |
187
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
Finding all satisfying assignments of a propositional formula has many applications in the design of hardware and software. An approach to this problem augments a clause-recording...
179
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
Grid-warping is a recent placement strategy based on a novel physical analogy: rather than move the gates to optimize their location, it elastically deforms a model of the 2-D chi...
196
click to vote
DAC
2008
ACM
15 years 8 months ago
2008
ACM
Our work addresses protection of hardware IP at the mask level with the goal of preventing unauthorized manufacturing. The proposed protocol based on chip locking and activation i...
187
click to vote
DALT
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In order to facilitate the development of agent-based software, several agent programming languages and architectures, have been created. Plans in these architectures are...
160
click to vote
FPL
2008
Springer
15 years 8 months ago
2008
Springer
The exponential distribution is a key distribution in many event-driven Monte-Carlo simulations, where it is used to model the time between random events in the system. This paper...