4719 search results - page 826 / 944 » Newtonian program analysis |
149
click to vote
HIPEAC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. On multi-core architectures with software-managed memories, effectively orchestrating data movement is essential to performance, but is tedious and error-prone. In this p...
135
click to vote
IAT
2009
IEEE
15 years 8 months ago
2009
IEEE
Variants of the decentralized MDP model focus on problems exhibiting some special structure that makes them easier to solve in practice. Our work is concerned with two main issues...
132
click to vote
ASWEC
2004
IEEE
15 years 8 months ago
2004
IEEE
Behavioural theory predicts that interventions that improving individual reviewers' expertise improves Software Development Technical Review group performance [3, p 6]. This ...
163
click to vote
COOPIS
2004
IEEE
15 years 7 months ago
2004
IEEE
By QoS (Quality of Service), we often refer to a set of quality requirements on the collective behavior of one or more objects. These requirements enable the provision of better se...
148
click to vote
DAC
2004
ACM
15 years 7 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...