1481 search results - page 29 / 297 » Operating Systems for Component Software Environments |
WORDS
2003
IEEE
14 years 1 months ago
2003
IEEE
Ubiquitous application software usually has multiple QoS requirements, such as situationawareness, real-time, and security, which make the application software development complic...
JSS
2006
13 years 8 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
HCW
1998
IEEE
14 years 6 days ago
1998
IEEE
CCS is a resource management system for parallel high-performance computers. At the user level, CCS provides vendor-independent access to parallel systems. At the system administr...
ICSE
2004
IEEE-ACM
14 years 8 months ago
2004
IEEE-ACM
One of the main objectives of developing component-based software systems is to enable efficient building of systems through the integration of components. All component models def...
ASAP
2002
IEEE
14 years 27 days ago
2002
IEEE
† Introducing FPGA components into DSP system implementations creates an assortment of challenges across system architecture and logic design. Recognizing that some of the greate...