7080 search results - page 1255 / 1416 » Designing High Integrity Systems Using Aspects |
148
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
128
Voted
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
We present a general scheme for virtualizing main memory errorcorrection mechanisms, which map redundant information needed to correct errors into the memory namespace itself. We ...
116
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...
241
Voted
ICDE
2006
IEEE
16 years 4 months ago
2006
IEEE
The rapid increase in the data volumes for the past few decades has intensified the need for high processing power for database and data mining applications. Researchers have acti...
124
Voted
MOBICOM
2006
ACM
15 years 9 months ago
2006
ACM
Flash crowds and high concentrations of users in wireless LANs (WLANs) cause significant interference problems and unsustainable load at access points. This leads to poor connect...