6554 search results - page 960 / 1311 » Constraint Logic Programming |
155
click to vote
IFIP
2009
Springer
15 years 2 months ago
2009
Springer
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...
140
click to vote
DAC
2003
ACM
16 years 6 months ago
2003
ACM
Software-based self-test (SBST) is an emerging approach to address the challenges of high-quality, at-speed test for complex programmable processors and systems-on chips (SoCs) th...
163
click to vote
SIAMSC
2010
15 years 3 months ago
2010
A recursive acceleration method is proposed for multiplicative multilevel aggregation algorithms that calculate the stationary probability vector of large, sparse, and irreducible ...
163
click to vote
ASPLOS
2011
ACM
14 years 8 months ago
2011
ACM
Transiently powered computing devices such as RFID tags, kinetic energy harvesters, and smart cards typically rely on programs that complete a task under tight time constraints be...
147
Voted
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
Parallel changes are becoming increasingly prevalent in the development of large scale software system. To further study the relationship between parallel changes and faults, we h...