1937 search results - page 322 / 388 » Adaptation-based programming in java |
136
click to vote
KBSE
2008
IEEE
16 years 17 days ago
2008
IEEE
Run-time monitoring can provide important insights about a program’s behavior and, for simple properties, it can be done efficiently. Monitoring properties describing sequences...
217
click to vote
IEEEPACT
2007
IEEE
16 years 14 days ago
2007
IEEE
The allocation of lock objects to critical sections in concurrent programs affects both performance and correctness. Recent work explores automatic lock allocation, aiming primari...
172
click to vote
IPPS
2007
IEEE
16 years 14 days ago
2007
IEEE
Babel is a high-performance, n-way language interoperability tool for the HPC community that now includes support for distributed computing via Remote Method Invocation (RMI). We ...
127
click to vote
FMCO
2007
Springer
16 years 10 days ago
2007
Springer
The Universe Type System is an ownership type system for object-oriented programming languages that hierarchically structures the object store; it is used to reason modularly about...
156
click to vote
ICTCS
2007
Springer
16 years 10 days ago
2007
Springer
The information flow property of Non-Interference was recently relaxed into Abstract NonInterference (ANI), a weakened version where attackers can only observe properties of data,...