461 search results - page 70 / 93 » Fundamentals of concern manipulation |
NN
2007
Springer
13 years 7 months ago
2007
Springer
There has been much discussion of what a scientific theory of consciousness would look like, and even whether such a theory is possible. Some common misunderstandings of the natur...
SPE
2010
13 years 6 months ago
2010
This paper surveys the research on power management techniques for high performance systems. These include both commercial high performance clusters and scientific high performanc...
TSE
2010
13 years 6 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
APLAS
2010
ACM
13 years 5 months ago
2010
ACM
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...
WIOPT
2010
IEEE
13 years 5 months ago
2010
IEEE
Scheduling of transmissions is one of the most fundamental problems in the context of wireless networks. In this article, we consider the problem of computing power efficient sched...