7080 search results - page 977 / 1416 » Designing High Integrity Systems Using Aspects |
178
click to vote
USENIX
2004
15 years 7 months ago
2004
For operating system intensive applications, the ability of designers to understand system call performance behavior is essential to achieving high performance. Conventional perfo...
291
Voted
POPL
2006
ACM
16 years 6 months ago
2006
ACM
This paper defines an object-oriented language with harmless aspect-oriented advice. A piece of harmless advice is a computation that, like ordinary aspect-oriented advice, execut...
140
click to vote
ISVLSI
2007
IEEE
16 years 13 days ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
143
click to vote
ARC
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. In this paper, we present a systematic design and implementation of reconfigurable interconnects on demand. The proposed on-chip interconnection network provides identic...
127
Voted
GECCO
2007
Springer
16 years 9 days ago
2007
Springer
In this paper, a new method for evolving simple electronic circuits is discussed, with the aim of improving the reliability and performance of basic circuit blocks. Next-generatio...