4854 search results - page 137 / 971 » It's the Programming, Stupid |
179
Voted
SIGSOFT
1994
ACM
15 years 11 months ago
1994
ACM
A dependence model for reverse engineering should treat procedures in a modular fashion and should be fine-grained, distinguishing dependences that are due to different variables....
164
click to vote
FOSAD
2009
Springer
15 years 10 months ago
2009
Springer
A program verifier is a tool that allows developers to prove that their code satisfies its specification for every possible input and every thread schedule. These lecture notes des...
225
click to vote
JELIA
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Among others, Alferes et al. (1998) presented an approach for updating logic programs with sets of rules based on dynamic logic programs. We syntactically redefine dynami...
142
Voted
CDES
2006
15 years 8 months ago
2006
- This paper proposes a new type of processor architecture using a new program driving method which makes it possible for more programs to run in a single kernel processor concurre...
165
Voted
IASTEDSEA
2004
15 years 8 months ago
2004
Instance orientation is an approach for designing and programming software systems. It addresses a limitation of current software architectures: it allows multiple higherlevel vie...