1559 search results - page 212 / 312 » The Semantics of Future and Its Use in Program Optimizations |
136
click to vote
VLSISP
2008
15 years 6 months ago
2008
Many different video processor architectures exist. Its architecture gives a processor strength for a particular application. Hardwired logic yields the best performance/cost, but ...
143
click to vote
OOPSLA
2009
Springer
16 years 25 days ago
2009
Springer
The high degree of complexity and autonomy of future robotic space missions, such as Mars Science Laboratory (MSL), poses serious challenges in assuring their reliability and efļ¬...
188
click to vote
FOIKS
2006
Springer
15 years 10 months ago
2006
Springer
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
209
click to vote
ASPLOS
2011
ACM
14 years 10 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...
183
click to vote
CCS
2007
ACM
16 years 14 days ago
2007
ACM
Protocol reverse engineering, the process of extracting the application-level protocol used by an implementation, without access to the protocol speciļ¬cation, is important for m...