1005 search results - page 169 / 201 » Agile Methods for Embedded Systems |
ISSAC
2007
Springer
14 years 4 months ago
2007
Springer
An algorithm is presented for the geometric analysis of an algebraic curve f(x, y) = 0 in the real affine plane. It computes a cylindrical algebraic decomposition (CAD) of the pla...
ACMSE
2006
ACM
14 years 3 months ago
2006
ACM
In this paper we consider the problem of automatically generating test suites associated with web-based enterprise systems. In particular, we discuss the construction of a tool de...
CASES
2006
ACM
14 years 3 months ago
2006
ACM
Memory size reduction and memory accesses optimization are crucial issues for embedded systems. In the context of affine programs, these two challenges are classically tackled by ...
ICSM
2005
IEEE
14 years 3 months ago
2005
IEEE
While often defined in informal ways, software cohesion reflects important properties of modules in a software system. Cohesion measurement has been used for quality assessment, f...
RTCSA
2005
IEEE
14 years 3 months ago
2005
IEEE
In this report, we propose an approach to integrate a hybrid garbage collection algorithm into the current response time analysis framework for real-time systems. In our approach,...