1598 search results - page 250 / 320 » A Unified Computation Model for Functional and Logic Program... |
170
click to vote
VTS
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a software-based weighted random pattern scheme for testing delay faults in IP cores of programmable SoCs. We describe a method for determining static and transition pr...
149
click to vote
TCSB
2008
15 years 6 months ago
2008
Abstract. Software systems nowadays are becoming increasingly complex and vulnerable to all sorts of failures and attacks. There is a rising need for robust self-repairing systems ...
194
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
—We present controllers that enable mobile robots to persistently monitor or sweep a changing environment. The changing environment is modeled as a field which grows in location...
179
click to vote
INFORMS
2010
15 years 4 months ago
2010
Haplotyping estimation from aligned Single Nucleotide Polymorphism (SNP) fragments has attracted more and more attention in the recent years due to its importance in analysis of m...
160
click to vote
JAIR
2008
15 years 6 months ago
2008
In the efficient social choice problem, the goal is to assign values, subject to side constraints, to a set of variables to maximize the total utility across a population of agent...