3706 search results - page 562 / 742 » The Transformational Approach to Program Development |
112
Voted
ECRTS
2008
IEEE
15 years 9 months ago
2008
IEEE
There is a need for using virtual memory in real-time applications: using virtual addressing provides isolation between concurrent processes; in addition, paging allows the execut...
123
click to vote
WCRE
2002
IEEE
15 years 7 months ago
2002
IEEE
Software inspection is a known technique for improving software quality. It involves carefully examining the code, the design, and the documentation of software and checking these...
128
click to vote
AIPS
2007
15 years 4 months ago
2007
Most traditional approaches to probabilistic planning in relationally specified MDPs rely on grounding the problem w.r.t. specific domain instantiations, thereby incurring a com...
124
click to vote
TCOM
2010
15 years 27 days ago
2010
Abstract—This paper considers the problem of Gaussian symbols detection in MIMO systems in the presence of channel estimation errors. Under this framework we develop a computatio...
124
click to vote
CI
2004
15 years 2 months ago
2004
We present a general approach for representing and reasoning with sets of defaults in default logic, focussing on reasoning about preferences among sets of defaults. First, we con...