2271 search results - page 348 / 455 » Scalable Software Libraries |
160
click to vote
ICSE
2004
IEEE-ACM
16 years 3 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
119
Voted
ICSE
2005
IEEE-ACM
16 years 3 months ago
2005
IEEE-ACM
When building scalable systems that involve general-purpose computation and persistent data, object-oriented languages and relational databases are often essential components. Yet...
145
click to vote
EUROSYS
2007
ACM
16 years 17 days ago
2007
ACM
Sprint is a middleware infrastructure for high performance and high availability data management. It extends the functionality of a standalone in-memory database (IMDB) server to ...
142
click to vote
CODES
2009
IEEE
15 years 10 months ago
2009
IEEE
The FlexRay bus is the prospective automotive standard communication system. For the sake of a high flexibility, the protocol includes a static time-triggered and a dynamic event...
122
Voted
ISORC
2009
IEEE
15 years 10 months ago
2009
IEEE
Modular component-based robot systems require not only an infrastructure for component management, but also scalability as well as real-time properties. Robot Technology (RT)-Midd...