5630 search results - page 763 / 1126 » Computability in Specification |
191
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
Micro-Electro-Mechanical Systems (MEMS) combine lithographically formed mechanical structures with electrical elements to create physical systems that operate on the scale of micr...
232
click to vote
ACMSE
2008
ACM
15 years 8 months ago
2008
ACM
Peer-To-Peer (P2P) systems have made an enormous impact on the Internet, directly affecting its performance and security. The litigation against P2P file sharing has led some desi...
180
click to vote
PPOPP
2010
ACM
15 years 8 months ago
2010
ACM
Helper locks allow programs with large parallel critical sections, called parallel regions, to execute more efficiently by enlisting processors that might otherwise be waiting on ...
198
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
This paper presents a needle-tissue interaction model that is a 3D extension of a prior work based on the finite element method. The model is also adapted to accommodate arbitrary ...
204
click to vote
APBC
2004
15 years 8 months ago
2004
In recent microarray experiments thousands of gene expressions are simultaneously tested in comparing samples (e.g., tissue types or experimental conditions). Application of a sta...