2836 search results - page 261 / 568 » Model Checking for Software Architectures |
155
click to vote
SERA
2010
Springer
15 years 3 months ago
2010
Springer
—Information systems are expected to satisfy increasingly ambitious requirements, while reducing time–to–market has become a primary objective. This trend has necessitated th...
151
click to vote
EWSA
2004
Springer
15 years 10 months ago
2004
Springer
Mobile software applications have to meet new requirements directly arising from mobility issues. To address these requirements at an early stage in development, an architecture d...
162
click to vote
CGO
2009
IEEE
15 years 11 months ago
2009
IEEE
—The StreamIt programming model has been proposed to exploit parallelism in streaming applications on general purpose multicore architectures. This model allows programmers to sp...
187
click to vote
HUMAN
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Software Defined Radio (SDR) is a key enabling technology for mobile wireless Internet. SDR represents unique opportunity to provide Internet connectivity to handheld dev...
176
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
Embedded systems with heterogeneous processors extend the energy/timing trade-off flexibility and provide the opportunity to fine tune resource utilization for particular applicat...