1757 search results - page 235 / 352 » Alternating Refinement Relations |
119
Voted
GLVLSI
2007
IEEE
15 years 10 months ago
2007
IEEE
A PAL-based logic block is the core of great majority of contemporary CPLD devices. The purpose of the paper is to present a new approach to multi-level synthesis for PAL-based CP...
150
Voted
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Studies of worm outbreaks have found that the speed of worm propagation makes manual intervention ineffective. Consequently, many automated containment mechanisms have been propos...
137
Voted
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
While the use of software component models has become popular in the development of desktop applications and distributed information systems, such models have not been widely used...
123
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Adoption of advanced automated SE (ASE) tools would be favored if a business case could be made that these tools are more valuable than alternate methods. In theory, software pred...
128
Voted
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
When enriching the λ-calculus with rewriting, union types may be needed to type all strongly normalizing terms. However, with rewriting, the elimination rule (∨ E) of union typ...