1573 search results - page 172 / 315 » Picture Programming Project |
162
click to vote
CC
2012
Springer
13 years 10 months ago
2012
Springer
Abstract. How can we exploit a microprocessor as efficiently as possible? The “classic” approach is static optimization at compile-time, optimizing a program for all possible u...
174
click to vote
FROCOS
2009
Springer
15 years 9 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...
115
click to vote
TGC
2005
Springer
15 years 8 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...
127
click to vote
EAGC
2004
Springer
15 years 8 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...
111
click to vote
ISOLA
2004
Springer
15 years 8 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...