1513 search results - page 76 / 303 » A Better Mythology for System Design |
204
click to vote
EUROSYS
2011
ACM
14 years 4 months ago
2011
ACM
Multicore computers pose a substantial challenge to infrastructure software such as operating systems or databases. Such software typically evolves slower than the underlying hard...
103
click to vote
ACMDIS
2000
ACM
15 years 5 months ago
2000
ACM
Design activity has recently attempted to embrace “designing the user experience.” Designers need to demystify how we design for user experience and how the products we design...
109
click to vote
SIGCOMM
2009
ACM
15 years 8 months ago
2009
ACM
The routing architecture of the original 4.4BSD [3] kernel has been deployed successfully without major design modification for over 15 years. In the unified routing architectur...
101
click to vote
CHI
2010
ACM
15 years 8 months ago
2010
ACM
Programming has recently become more common among ordinary end users of computer systems. We believe that these end-user programmers are not just coders but also designers, in tha...
108
click to vote
VSTTE
2005
Springer
15 years 7 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...