2482 search results - page 173 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
230
Voted
POPL
2004
ACM
16 years 2 months ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...
104
Voted
ADAEUROPE
2009
Springer
15 years 8 months ago
2009
Springer
With the development of embedded and mobile systems, Java is widely used for application programs and is also considered for implementing systems kernel or application platforms. I...
133
click to vote
COMPSAC
2005
IEEE
15 years 7 months ago
2005
IEEE
Monitoring is a task of collecting measurements that reflect the state of a system. Administration is a collection of tasks for control and manipulation of computer systems. Monito...
109
click to vote
PPDP
2005
Springer
15 years 7 months ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...
116
click to vote
JTRES
2010
ACM
15 years 2 months ago
2010
ACM
With traditional testing, the test case has no control over non-deterministic scheduling decisions, and thus errors dependent on scheduling are only found by pure chance. Java Pat...