889 search results - page 46 / 178 » Analysis of Software Engineering Data Using Computational In... |
ISORC
2005
IEEE
14 years 2 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
WOSP
2004
ACM
2004
ACM
Early-stage performance modeling and its application for integrated embedded control software design
14 years 2 months ago
Most of current embedded control software (ECSW) development techniques deal only with performance specifications during the early software design phase and delay the modeling and...
MOBIDE
2003
ACM
14 years 1 months ago
2003
ACM
The common vision of pervasive computing environments requires a very large range of devices and software components to interoperate seamlessly. From the assumption that these dev...
ICSE
2009
IEEE-ACM
14 years 9 months ago
2009
IEEE-ACM
In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. W...
CGO
2010
IEEE
14 years 3 months ago
2010
IEEE
Reducing the arithmetic precision of a computation has real performance implications, including increased speed, decreased power consumption, and a smaller memory footprint. For s...