2777 search results - page 259 / 556 » Example centric programming |
135
Voted
ISCA
1989
IEEE
15 years 10 months ago
1989
IEEE
Pipelining has become a common technique to increase throughput of the instruction fetch, instruction decode, and instruction execution portions of modern computers. Branch instru...
181
click to vote
EUROCAST
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we introduce an extension of Equilibrium Logic (a logical characterisation of the Answer Set Semantics for logic programs) consisting in the inclusion of modal tempor...
194
click to vote
CIE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We outline a general theory of graph polynomials which covers all the examples we found in the vast literature, in particular, the chromatic polynomial, various generaliz...
171
Voted
DBVIS
1995
15 years 10 months ago
1995
Abstract. This paper reports on user experience with Tioga, a DBMScentric visualization tool developed at Berkeley. Based on this experience, we have designed Tioga-2 as a direct m...
196
Voted
SIGCSE
1991
ACM
15 years 9 months ago
1991
ACM
The development, specification, and use of a loop invariant are useful and underutilized tools in writing code to solve a problem or implement an algorithm. Invariants are especi...