215 search results - page 23 / 43 » State-Transition Computation Models and Program Correctness ... |
219
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
136
Voted
LPNMR
2005
Springer
15 years 7 months ago
2005
Springer
Loops and the corresponding loop formulas play an important role in answer set programming. On the one hand, they are used for guaranteeing correctness and completeness in SAT-base...
116
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: Existing hidden Markov model decoding algorithms do not focus on approximately identifying the sequence feature boundaries. Results: We give a set of algorithms to com...
108
click to vote
ICMCS
2005
IEEE
15 years 7 months ago
2005
IEEE
The existing techniques for shot partitioning either process each shot boundary independently or proceed sequentially. The sequential process assumes the last shot boundary is cor...
128
click to vote
PPOPP
2005
ACM
15 years 7 months ago
2005
ACM
We want to perform compile-time analysis of an SPMD program and place barriers in it to synchronize it correctly, minimizing the runtime cost of the synchronization. This is the b...