724 search results - page 116 / 145 » Implementing Execution Controls in Unix |
CAV
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
PLDI
2003
ACM
14 years 1 months ago
2003
ACM
An adaptation of the classic register allocation algorithm to the problem of array storage optimization in MATLAB is presented. The method involves the decomposition of an interfe...
DSN
2002
IEEE
14 years 29 days ago
2002
IEEE
Language run-time systems are routinely used to host potentially buggy or malicious codelets — software modules, agents, applets, etc. — in a secure environment. A number of t...
IPPS
2002
IEEE
14 years 28 days ago
2002
IEEE
The convergence of TV and new features such as Internet and games, requires a generic media-processing platform, that enables simultaneous execution of very diverse tasks, ranging...
GECCO
2010
Springer
14 years 25 days ago
2010
Springer
The increase in the complexity of modern software has led to the commensurate growth in the size and execution time of the test suites for these programs. In order to address this...