483 search results - page 75 / 97 » Asynchronous software thread integration for efficient softw... |
FCCM
2005
IEEE
14 years 1 months ago
2005
IEEE
Increasing demands upon embedded systems for higher level services like networking, user interfaces and file system management, are driving growth in fully-featured operating syst...
ICSE
2004
IEEE-ACM
14 years 7 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
KBSE
2009
IEEE
14 years 2 months ago
2009
IEEE
—Abbreviation Completion is a novel technique to improve the efficiency of code-writing by supporting code completion of multiple keywords based on non-predefined abbreviated inp...
SEKE
2007
Springer
14 years 1 months ago
2007
Springer
High performance computing (HPC) is gaining popularity in solving scientific applications. Using the current programming standards, however, it takes an HPC expert to efficiently ...
ICITA
2005
IEEE
14 years 1 months ago
2005
IEEE
Wireless network communities face a number of difficulties due to lack of integration between network and community resources management. In this work, we present a novel solution...