2271 search results - page 342 / 455 » Scalable Software Libraries |
143
Voted
SAMOS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract--Embedded systems contain a wide variety of processors. Economical and technological factors favor systems made of a combination of diverse but programmable processors. So...
125
Voted
TACAS
2010
Springer
15 years 1 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
150
Voted
USS
2010
15 years 1 months ago
2010
In a bid to limit the harm caused by ubiquitous remotely exploitable software vulnerabilities, the computer systems security community has proposed primitives to allow execution o...
133
Voted
AISS
2010
15 years 28 days ago
2010
Web services technologies change the software industry drastically by developing and integrating enterprise web services and applications in order to enable the users to access th...
118
click to vote
BIB
2010
15 years 28 days ago
2010
Massively parallel sequencing technologies continue to alter the study of human genetics. As the cost of sequencing declines, next-generation sequencing (NGS) instruments and data...