1760 search results - page 322 / 352 » Program Analysis Using Weighted Pushdown Systems |
OR
2010
Springer
13 years 8 months ago
2010
Springer
Cropping systems models have evolved over the last four decades in response to the demand for modeling to address more complex questions, including issues on sustainable productio...
CCS
2011
ACM
12 years 9 months ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
CODES
2006
IEEE
14 years 1 months ago
2006
IEEE
Simulating chip-multiprocessor systems (CMP) can take a long time. For single-threaded workloads, earlier work has shown the utility of phase analysis, that is identification of r...
PPOPP
2010
ACM
13 years 8 months ago
2010
ACM
Many programs exploit shared-memory parallelism using multithreading. Threaded codes typically use locks to coordinate access to shared data. In many cases, contention for locks r...
HICSS
2003
IEEE
14 years 3 months ago
2003
IEEE
A standard notation, that unambiguously expresses different aspects of a system, is important to the process of software development. The expressiveness of a standard notation hel...