1837 search results - page 162 / 368 » Architecture = Abstractions over Software |
90
Voted
KBSE
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
89
Voted
SOCO
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The separation of concerns has been a core idiom of software engineering for decades. In general, software can be decomposed properly only according to a single concern, ...
84
Voted
ISPASS
2005
IEEE
15 years 6 months ago
2005
IEEE
SIMD extensions are the most common technique used in current processors for multimedia computing. In order to obtain more performance for emerging applications SIMD extensions ne...
92
Voted
EDO
2005
Springer
15 years 6 months ago
2005
Springer
Publish/subscribe infrastructures are used as the basic communication and integration framework in many application domains. The majority of those infrastructures, however, fall s...
132
click to vote
ASPLOS
2004
ACM
15 years 6 months ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...