2613 search results - page 91 / 523 » Proposal for Tools Supporting Component Based Programming |
132
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
161
click to vote
APAQS
2001
IEEE
15 years 8 months ago
2001
IEEE
Infinite looping is a common type of program error. This paper studies the detection of infinite loops in imperative programs. A sufficient condition is given, which is based on p...
114
click to vote
MM
2003
ACM
15 years 10 months ago
2003
ACM
Abstract The goal of the proposed capacity planning tool is to provide the best cost/performance configuration for support of a known media service workload. There are two essenti...
157
click to vote
CSMR
2005
IEEE
15 years 10 months ago
2005
IEEE
Data mining is a technology recently used in support of software maintenance in various contexts. Our works focuses on achieving a high level understanding of Java systems without...
147
click to vote
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Energy-efficient computing is important in several systems ranging from embedded devices to large scale data centers. Several application domains offer the opportunity to tradeof...