5235 search results - page 899 / 1047 » Analysis of Multithreaded Programs |
144
click to vote
CSMR
2007
IEEE
15 years 11 months ago
2007
IEEE
Evolving software-intensive systems from one consistent state to another is a challenging activity due to the intricate inter-dependencies among the components. In this paper, we ...
132
Voted
EUROMICRO
2007
IEEE
15 years 11 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
141
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
— This paper demonstrates how two different sets of powerful domain specific language features can be specified and deployed as composable language extensions. These extensions...
136
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— Extending network lifetime of battery-operated devices is a key design issue that allows uninterrupted information exchange among distributive nodes in wireless sensor ...
127
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
— We present a hybrid data mining approach to detect malicious executables. In this approach we identify important features of the malicious and benign executables. These feature...