1937 search results - page 322 / 388 » Adaptation-based programming in java |
124
click to vote
KBSE
2008
IEEE
15 years 11 months 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...
192
click to vote
IEEEPACT
2007
IEEE
15 years 11 months 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...
137
click to vote
IPPS
2007
IEEE
15 years 11 months 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 ...
103
Voted
FMCO
2007
Springer
15 years 10 months 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...
132
Voted
ICTCS
2007
Springer
15 years 10 months 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,...