6960 search results - page 1248 / 1392 » Continuity Analysis of Programs |
122
click to vote
EUROMICRO
2007
IEEE
15 years 9 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...
129
click to vote
HICSS
2007
IEEE
15 years 9 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...
128
click to vote
ICC
2007
IEEE
15 years 9 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 ...
114
click to vote
ICC
2007
IEEE
15 years 9 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...
115
click to vote
ICMCS
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper introduces the software framework MMER Lab which allows an effective assembly of modular signal processing systems optimized for memory efficiency and performance. Our...