1714 search results - page 58 / 343 » Abstract Models of Memory Management |
181
click to vote
BPSC
2010
14 years 11 months ago
2010
Abstract: While agility is a core challenge in today's competitive business, softwarebased business process modeling and execution approaches often refer to strict and inflexi...
CALCO
2007
Springer
15 years 9 months ago
2007
Springer
Besides functional correctness, specifications must describe other properties of permissible implementations. We want to use simple algebraic techniques to specify resource usage ...
125
Voted
OTM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In this experience report, we present an evaluation of different techniques to manage concurrency in the context of application servers. Traditionally, using entity beans...
147
click to vote
USITS
2003
15 years 4 months ago
2003
Internet service utilities host multiple server applications on a shared server cluster. A key challenge for these systems is to provision shared resources on demand to meet servi...
158
click to vote
ISSTA
2012
ACM
13 years 5 months ago
2012
ACM
We introduce a static detector, Saber, for detecting memory leaks in C programs. Leveraging recent advances on sparse pointer analysis, Saber is the first to use a full-sparse va...