11129 search results - page 2030 / 2226 » Modeling Search Computing Applications |
181
click to vote
SC
1992
ACM
15 years 10 months ago
1992
ACM
We are currently developing Willow, a shared-memory multiprocessor whose design provides system capacity and performance capable of supporting over a thousand commercial microproc...
184
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
202
click to vote
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
Automatic age estimation from facial images has aroused research interests in recent years due to its promising potential for some computer vision applications. Among the methods ...
151
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Whether or not a critical threshold exists when epidemic diseases are spread in complex networks is a problem attracting attention from researchers in several disciplines. In 2001...
192
click to vote
HPDC
2010
IEEE
15 years 7 months ago
2010
IEEE
Large scale bioinformatics experiments are usually composed by a set of data flows generated by a chain of activities (programs or services) that may be modeled as scientific work...