3045 search results - page 422 / 609 » Formal Approaches to Software Architecture |
193
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
To meet the conflicting goals of high-performance low-cost embedded systems, critical application loop nests are commonly executed on specialized hardware accelerators. These loop...
180
click to vote
SPLC
2007
15 years 7 months ago
2007
Managing variability is the essence of software product line (PL) practice. With many variant features and complex dependencies among them, it also becomes a major challenge for e...
233
click to vote
TASE
2010
IEEE
15 years 1 months ago
2010
IEEE
Airport Baggage Handling is a field of automation systems that is currently dependent on centralised control systems and conventional automation programming techniques. In this and...
195
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
176
click to vote
VLSID
2005
IEEE
16 years 7 months ago
2005
IEEE
Java is increasingly being used as a language and binary format for low power, embedded systems. Current software only approaches to Java execution do not always suit the type of ...