2025 search results - page 259 / 405 » A Reliable Software Architecture for Complex Embedded System... |
166
click to vote
SIGSOFT
2006
ACM
16 years 2 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
159
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...
147
click to vote
COMPSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
Web services and service-oriented architecture (SOA) have become the de facto standard for designing distributed and loosely coupled applications. Many servicebased applications de...
167
click to vote
ISCA
2012
IEEE
13 years 8 months ago
2012
IEEE
To address the real-time processing needs of large and growing amounts of data, modern software increasingly uses main memory as the primary data store for critical information. T...
158
Voted
ESAW
2005
Springer
15 years 11 months ago
2005
Springer
Ambient intelligence envisages a world saturated with sensors and other embedded computing technologies, operating transparently, and accessible to all in a seamless and intuitive ...