10899 search results - page 202 / 2180 » The GP Programming System |
141
Voted
JUCS
2007
15 years 3 months ago
2007
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...
113
Voted
FPCA
1989
15 years 7 months ago
1989
One way to analyse programs is to to derive expressions for their computational behaviour. A time bound function (or worst-case complexity) gives an upper bound for the computatio...
130
click to vote
EUROPAR
2007
Springer
15 years 9 months ago
2007
Springer
Computer systems are increasingly parallel and heterogeneous, while programs are still largely written in sequential languages. The obvious suggestion that the compiler should auto...
133
click to vote
ISORC
2002
IEEE
15 years 8 months ago
2002
IEEE
Monitoring is a widely-used technique to check assumptions about the real-time behavior of a system, debug the code, or enforce the system to react if certain deadlines are passed...
118
Voted
SIGCSE
2009
ACM
15 years 8 months ago
2009
ACM
This special session will proved information about the status of work related to Masters programs in Computing. Specifically, the session will describe work completed in the follo...