10055 search results - page 1236 / 2011 » Structured programming using processes |
227
click to vote
ISCA
2009
IEEE
16 years 2 months ago
2009
IEEE
The advent of multicores has introduced new challenges for programmers to provide increased performance and software reliability. There has been significant interest in technique...
196
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
As cryptographic protocols execute they accumulate information such as values and keys, and evidence of properties about this information. As execution proceeds, new information b...
164
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Successful application of crosslinking combined with mass spectrometry for studying proteins and protein complexes requires specifically-designed crosslinking reagents...
207
click to vote
DAC
2002
ACM
16 years 8 months ago
2002
ACM
In this paper, we present a compiler strategy to optimize data accesses in regular array-intensive applications running on embedded multiprocessor environments. Specifically, we p...
183
click to vote
SEMWEB
2001
Springer
16 years 4 days ago
2001
Springer
The Semantic Web should enable greater access not only to content but also to services on the Web. Users and software agents should be able to discover, invoke, compose, and monit...