6045 search results - page 857 / 1209 » Computable Linearizations of Well-partial-orderings |
186
Voted
SIGSOFT
2006
ACM
16 years 24 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
187
click to vote
VALUETOOLS
2006
ACM
16 years 24 days ago
2006
ACM
We present a new approximation method called value extrapolation for Markov processes with large or infinite state spaces. The method can be applied for calculating any performan...
169
click to vote
CGO
2005
IEEE
16 years 14 days ago
2005
IEEE
Register allocation is one of the most important optimizations a compiler performs. Conventional graphcoloring based register allocators are fast and do well on regular, RISC-like...
208
click to vote
CIBCB
2005
IEEE
16 years 14 days ago
2005
IEEE
— In this paper we address the problem of finding gene regulatory networks from experimental DNA microarray data. We focus on the evaluation of the performance of memetic algori...
193
click to vote
CODES
2005
IEEE
16 years 14 days ago
2005
IEEE
Instruction-set extensible processors allow an existing processor core to be extended with application-specific custom instructions. In this paper, we explore a novel application...