1151 search results - page 139 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
122
click to vote
IAT
2008
IEEE
15 years 11 months ago
2008
IEEE
From an external perspective, cognitive agent behaviour can be described by specifying (temporal) correlations of a certain complexity between stimuli (input states) and (re)actio...
134
click to vote
DALT
2004
Springer
15 years 9 months ago
2004
Springer
Declarative modelling approaches in principle assume a notion of representation or representational content for the modelling concepts. The notion of representational content as di...
151
click to vote
ESOP
2008
Springer
15 years 6 months ago
2008
Springer
A data structure is said to be persistent when any update operation returns a new structure without altering the old version. This paper introduces a new notion of persistence, cal...
141
click to vote
CAMP
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— The promise of next-generation computer technologies, such as nano-electronics, implies a number of serious alterations to the design flow of digital circuits. One of ...
130
click to vote
ISQED
2005
IEEE
15 years 10 months ago
2005
IEEE
As the scale and complexity of VLSI circuits increase, Electronic Design Automation (EDA) tools become much more sophisticated and are held to increasing standards of quality. New...