615 search results - page 101 / 123 » Completeness of Combinations of Constructor Systems |
ESOP
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. There are many settings in which sensitive information is made available to a system or organisation for a specific purpose, on the understanding that it will be erased o...
116
click to vote
RTAS
2010
IEEE
14 years 10 months ago
2010
IEEE
—Hardware-managed caches introduce large amounts of timing variability, complicating real-time system design. One alternative is a memory system with scratchpad memories which im...
110
click to vote
SIGSOFT
2001
ACM
16 years 15 days ago
2001
ACM
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenarios describe how system compo...
180
click to vote
SIGMOD
2008
ACM
15 years 12 months ago
2008
ACM
The need for high availability and performance in data management systems has been fueling a long running interest in database replication from both academia and industry. However...
DSD
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—Verification of application requirements is becoming a bottleneck in system-on-chip design, as the number of applications grows. Traditionally, the verification comple...