477 search results - page 8 / 96 » Design patterns in separation logic |
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
In computer science curricula the two areas programming and software engineering are usually separated. In programming students learn an object oriented language and then deepen t...
JURIX
2008
13 years 9 months ago
2008
The two main types of law are legislation and precedents. Both types have a corresponding reasoning pattern determining legal consequences: legislation can be applied and precedent...
VLSID
2002
IEEE
14 years 8 months ago
2002
IEEE
Compare CMOS Logic with Pass-Transistor Logic, a question was raised in our mind: "Does any rule exist that contains all good?" This paper reveals novel logic synthesis ...
WECWIS
2002
IEEE
14 years 20 days ago
2002
IEEE
In the web context, it is difficult to disentangle presentation from process logic, and sometimes even data is not separate from the presentation. Consequently, it becomes to de...
ITC
1999
IEEE
14 years 1 days ago
1999
IEEE
This paper discusses practical issues involved in applying logic built-in self-test (BIST) to four large industrial designs. These multi-clock designs, ranging in size from 200K t...