3119 search results - page 513 / 624 » General Default Logic |
163
click to vote
AOSD
2007
ACM
15 years 9 months ago
2007
ACM
In order to increase the productivity of the application developers, it is desirable to remove the persistence concern from their responsibility. For this purpose, the orthogonal ...
144
click to vote
BIRTHDAY
2009
Springer
15 years 9 months ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...
170
click to vote
CODES
2007
IEEE
15 years 9 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
166
Voted
DAC
2007
ACM
15 years 9 months ago
2007
ACM
Mixed Vt has been widely used to control leakage without affecting circuit performance. However, current approaches target the combinational circuits even though sequential elemen...
149
click to vote
DAC
2007
ACM
15 years 9 months ago
2007
ACM
We present a framework for validating the compliance of a design with a given architecture. Our approach is centered on the concept of misinterpretations. These include missing be...