7426 search results - page 1130 / 1486 » The LHC Computing Challenge |
184
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
193
click to vote
CGO
2009
IEEE
15 years 10 months ago
2009
IEEE
Effectively migrating sequential applications to take advantage of parallelism available on multicore platforms is a well-recognized challenge. This paper addresses important aspec...
191
click to vote
PAAMS
2010
Springer
15 years 10 months ago
2010
Springer
A vehicular ad hoc network (VANET) is a type of mobile network whose nodes are traveling cars which communicate with one another using short-range wireless communications. These ca...
156
click to vote
CTRSA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The task of developing protocols for humans to securely authenticate themselves to a remote server has been an interesting topic in cryptography as a replacement for the ...
202
click to vote
WWW
2010
ACM
15 years 10 months ago
2010
ACM
Realtime web search refers to the retrieval of very fresh content which is in high demand. An effective portal web search engine must support a variety of search needs, including ...