4940 search results - page 890 / 988 » On the Complexity of Universal Programs |
108
click to vote
ICDE
2009
IEEE
15 years 10 months ago
2009
IEEE
— Complex ad hoc join queries over enterprise databases are commonly used by business data analysts to understand and analyze a variety of enterprise-wide processes. However, eff...
142
Voted
SAC
2009
ACM
15 years 10 months ago
2009
ACM
Many general-purpose, object-oriented scripting languages are dynamically typed, to keep the language flexible and not reject any programs unnecessarily. However, dynamic typing ...
129
Voted
CC
2009
Springer
15 years 10 months ago
2009
Springer
Software systems typically exploit only a small fraction of the realizable performance from the underlying microprocessors. While there has been much work on hardware-aware optimiz...
114
click to vote
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
109
Voted
MICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
Transactional Memory aims to provide a programming model that makes parallel programming easier. Hardware implementations of transactional memory (HTM) suffer from fewer overhead...