1111 search results - page 217 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
PLDI
2011
ACM
12 years 11 months ago
2011
ACM
Exploiting today’s multiprocessors requires highperformance and correct concurrent systems code (optimising compilers, language runtimes, OS kernels, etc.), which in turn requir...
IFIP
2009
Springer
14 years 3 months ago
2009
Springer
A number of selected field-study techniques have been validated in a case study in the domain of railway signal boxes. The context of this work is the endeavour of a human-centred ...
TITS
2008
13 years 8 months ago
2008
Abstract--With the objective of minimizing the total cost, which includes both sensor and congestion costs, the authors adopted a novel sampling theorem approach to address the pro...
TII
2010
13 years 3 months ago
2010
Abstract--Real-time systems are subject to temporal constraints and require a schedulability analysis to ensure that task execution finishes within lower and upper specified bounds...
HICSS
1995
IEEE
13 years 12 months ago
1995
IEEE
Abstract. We reexamine the limits of parallelism available in programs, using runtime reconstruction of program data-flow graphs. While limits of parallelism have been examined in...