7961 search results - page 1248 / 1593 » Input-Output Model Programs |
139
Voted
IFM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
148
click to vote
RAID
2010
Springer
15 years 3 months ago
2010
Springer
Software keyloggers are a fast growing class of malware often used to harvest confidential information. One of the main reasons for this rapid growth is the possibility for unpriv...
184
click to vote
ANOR
2010
15 years 3 months ago
2010
Operations Research is probably one of the most successful fields of applied mathematics used in Economics, Physics, Chemistry, almost everywhere onehastoanalyzehugeamountsofdata.L...
139
click to vote
CLOUDCOM
2010
Springer
15 years 2 months ago
2010
Springer
Many scientific applications suffer from the lack of a unified approach to support the management and efficient processing of large-scale data. The Twister MapReduce Framework, whi...
252
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...