7961 search results - page 1364 / 1593 » Input-Output Model Programs |
156
Voted
JSA
2010
14 years 10 months ago
2010
During the past few years, embedded digital systems have been requested to provide a huge amount of processing power and functionality. A very likely foreseeable step to pursue th...
160
Voted
ASPLOS
2011
ACM
14 years 7 months ago
2011
ACM
Cloud services accessed through mobile devices suffer from high network access latencies and are constrained by energy budgets dictated by the devices’ batteries. Radio and batt...
165
Voted
LOGCOM
2011
14 years 6 months ago
2011
Planning as Satisfiability is one of the most well-known and effective techniques for classical planning: satplan has been the winning system in the deterministic track for optim...
172
Voted
SIGMOD
2011
ACM
14 years 6 months ago
2011
ACM
In most enterprises, databases are deployed on dedicated database servers. Often, these servers are underutilized much of the time. For example, in traces from almost 200 producti...
174
click to vote
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...