6279 search results - page 1015 / 1256 » Objects as session-typed processes |
171
Voted
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
The increasing complexity of configurable software systems creates a need for more intelligent sampling mechanisms to detect and locate failure-inducing dependencies between confi...
151
click to vote
SIGSOFT
2006
ACM
16 years 7 months ago
2006
ACM
We present a study of all sources of aliasing in over one million lines of C code, identifying in the process the common patterns of aliasing that arise in practice. We find that ...
171
click to vote
ISBI
2002
IEEE
16 years 7 months ago
2002
IEEE
Knowing the subcellular location of a protein is critical to a full understanding of its function, and automated, objective methods for assigning locations are needed as part of t...
134
click to vote
ISBI
2002
IEEE
16 years 7 months ago
2002
IEEE
Confocal microscopes have recently allowed biologists and biomedical researchers to obtain time dependent 3D data sets of biological objects, such as cells and tissues. Scientific...
170
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Communicating the subtleties of a craft technique, like putting a zipper into a garment or throwing a clay pot, can be challenging even when working side by side. Yet HowTo conten...