6274 search results - page 397 / 1255 » Proofs, Programs, Processes |
197
click to vote
EUROPAR
2009
Springer
16 years 1 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...
181
click to vote
ICTAI
2006
IEEE
16 years 23 days ago
2006
IEEE
Computer programs that can be expressed in two or more dimensions are typically called visual programs. The underlying theories of visual programming languages involve graph gramm...
165
click to vote
VL
2005
IEEE
16 years 9 days ago
2005
IEEE
Structured program editors can lower the entry barrier for beginning computer science students by preventing syntax errors. However, when editors force programs to be executable a...
198
click to vote
ASP
2005
Springer
16 years 8 days ago
2005
Springer
In this paper we develop a declarative language for modular answer set programming (ASP). Our language allows to declaratively state how one ASP module can import processed answer ...
175
click to vote
ARCS
2004
Springer
16 years 4 days 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...