1975 search results - page 304 / 395 » Property analysis and design understanding |
185
click to vote
PRDC
2008
IEEE
16 years 25 days ago
2008
IEEE
We consider efficient real-time communication mechanisms for applications in unreliable and partitionable networks, where network partitions can occur unpredictably and nodes can ...
167
click to vote
GECCO
2007
Springer
16 years 18 days ago
2007
Springer
Generating a random sampling of program trees with specified function and terminal sets is the initial step of many program evolution systems. I present a theoretical and experim...
166
click to vote
SACRYPT
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. The XCB mode of operation was outlined in 2004 as a contribution to the IEEE Security in Storage effort, but no security analysis was provided. In this paper, we provide...
167
click to vote
EUROMICRO
2006
IEEE
16 years 15 days ago
2006
IEEE
This paper presents a modular modelling methodology to formulate the timing behaviour of real-time distributed component-based applications. It allows to build real-time models of...
148
click to vote
ASPLOS
2006
ACM
16 years 13 days ago
2006
ACM
We present the design, implementation, and evaluation of HeapMD, a dynamic analysis tool that finds heap-based bugs using anomaly detection. HeapMD is based upon the observation ...