261 search results - page 44 / 53 » Can Flash Memory Help in Model Checking |
125
Voted
ASWEC
2001
IEEE
15 years 6 months ago
2001
IEEE
Static analysis is a tremendous help when trying to find faults in complex software. Writing multi-threaded programs is difficult, because the thread scheduling increases the prog...
87
Voted
IJHCI
2010
15 years 24 days ago
2010
Motivation – Designers make decisions that later influence how users work with the systems that they have designed. When errors occur in use, it is tempting to focus on the acti...
104
Voted
IPSN
2007
Springer
15 years 8 months ago
2007
Springer
TinyOS applications are built with software components that communicate through narrow interfaces. Since components enable finegrained code reuse, this approach has been successf...
132
Voted
IISWC
2006
IEEE
15 years 8 months ago
2006
IEEE
— As CMPs are emerging as the dominant architecture for a wide range of platforms (from embedded systems and game consoles, to PCs, and to servers) the need to manage on-chip res...
133
click to vote
CHI
2005
ACM
16 years 2 months ago
2005
ACM
In this paper we report an ethnographic study of workarounds--informal temporary practices for handling exceptions to normal workflow--in a hospital environment. Workarounds are a...