580 search results - page 28 / 116 » Expressive policy analysis with enhanced system dynamicity |
145
click to vote
VLDB
2007
ACM
15 years 10 months ago
2007
ACM
This paper analyzes the performance of concurrent (index) scan operations in both record (NSM/PAX) and column (DSM) disk storage models and shows that existing scheduling policies...
77
Voted
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
—The focus of the work in this paper is the construction and analysis of a dynamical system model for human decision making in sequential two-choice tasks. In these tasks, a huma...
85
Voted
ISOLA
2010
Springer
14 years 8 months ago
2010
Springer
Automatic bug finding with static analysis requires precise tracking of different memory object values. This paper describes a memory modeling method for static analysis of C pro...
CMSB
2006
Springer
15 years 1 months ago
2006
Springer
Based on the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach that uses timed automata. It yields a refined quali...
DATE
2007
IEEE
15 years 4 months ago
2007
IEEE
In deep submicron circuits, elevation in temperatures has brought new challenges in reliability, timing, performance, cooling costs and leakage power. Conventional thermal managem...