8109 search results - page 94 / 1622 » A Model of Component-Based Programming |
122
click to vote
CAV
2008
Springer
15 years 4 months ago
2008
Springer
Program verification for relaxed memory models is hard. The high degree of nondeterminism in such models challenges standard verification techniques. This paper proposes a new veri...
145
Voted
FECS
2006
15 years 4 months ago
2006
Program plagiarism is one of the most significant problems in Computer Science education. Most common plagiarism includes modifying comments, reordering statements, and changing v...
140
Voted
EUROPAR
2009
Springer
15 years 9 months ago
2009
Springer
Recently many large scale computer systems are built in order to meet the high storage and processing demands of compute and data-intensive applications. MapReduce is one of the mo...
116
Voted
ARCS
2004
Springer
15 years 8 months ago
2004
Springer
: Today’s network processor utilize parallel processing in order to cope with the traffic growth and wire-speed of current and future network technologies. In this paper, we stu...
119
Voted
CONSTRAINTS
2008
15 years 2 months ago
2008
We describe an approach to modeling biological networks by action languages via answer set programming. To this end, we propose an action language for modeling biological networks...