7892 search results - page 42 / 1579 » Programming with Models |
107
click to vote
CORR
2002
Springer
15 years 1 months ago
2002
Springer
Abstract. We study algorithms for computing stable models of propositional logic programs and derive estimates on their worst-case performance that are asymptotically better than t...
114
click to vote
FECS
2006
15 years 2 months ago
2006
Game programming is interesting but tough. It could be counted as a sophisticated software development in an undergraduate curriculum because it deals with a wide range of knowled...
SPIN
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of...
126
click to vote
PPOPP
2009
ACM
16 years 1 months ago
2009
ACM
On multiprocessors with explicitly managed memory hierarchies (EMM), software has the responsibility of moving data in and out of fast local memories. This task can be complex and...
132
click to vote
CCGRID
2010
IEEE
15 years 2 months ago
2010
IEEE
The MPI programming model hides network type and topology from developers, but also allows them to seamlessly distribute a computational job across multiple cores in both an intra ...