1362 search results - page 133 / 273 » The Projection of Systolic Programs |
192
click to vote
KDD
2012
ACM
13 years 7 months ago
2012
ACM
The communities of a social network are sets of vertices with more connections inside the set than outside. We theoretically demonstrate that two commonly observed properties of s...
202
click to vote
FROCOS
2009
Springer
15 years 11 months ago
2009
Springer
The developments in information technology during the last decade have been rapidly changing the possibilities for data and knowledge access. To respect this, several declarative k...
132
click to vote
TGC
2005
Springer
15 years 10 months ago
2005
Springer
Programmers write programs, expressing plans for machines to execute. When composed so that they may cooperate, plans may instead interfere with each other in unanticipated ways. P...
145
click to vote
EAGC
2004
Springer
15 years 10 months ago
2004
Springer
One of the goals of the EU CrossGrid project is to provide a basis for supporting the efficient execution of parallel and interactive applications on Grid environments. CrossGrid j...
134
click to vote
ISOLA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...