15779 search results - page 2487 / 3156 » Change-oriented software engineering |
122
click to vote
ARCS
2010
Springer
16 years 20 days ago
2010
Springer
Abstract. This paper describes a job distribution system which focuses on standard desktop worker nodes in inhomogeneous and unreliable environments. The system is suited for gener...
147
click to vote
FOSSACS
2010
Springer
16 years 20 days ago
2010
Springer
We present a coinductive proof system for bisimilarity in transition systems specifiable in the de Simone SOS format. Our coinduction is incremental, in that it allows building in...
143
click to vote
IOLTS
2008
IEEE
16 years 18 days ago
2008
IEEE
Polymorphic gates can be considered as a new reconfigurable technology capable of integrating logic functions with sensing in a single compact structure. Polymorphic gates whose ...
146
click to vote
IOLTS
2008
IEEE
16 years 18 days ago
2008
IEEE
With the technology entering the nano dimension, manufacturing processes are less and less reliable, thus drastically impacting the yield. A possible solution to alleviate this pr...
137
click to vote
IOLTS
2008
IEEE
16 years 18 days ago
2008
IEEE
An efficient on-chip infrastructure for memory test and repair is crucial to enhance yield and availability of SoCs. Most of the existing built-in self-repair solutions reuse IP-C...