7971 search results - page 87 / 1595 » On unbounded operators and applications |
151
click to vote
DGCI
2008
Springer
15 years 8 months ago
2008
Springer
Hierarchical representations, such as irregular pyramids, are the bases of several applications in the field of discrete imagery. So, ndimensional "bottom-up" irregular p...
181
click to vote
EUROSYS
2011
ACM
14 years 9 months ago
2011
ACM
We argue that controlling energy allocation is an increasingly useful and important feature for operating systems, especially on mobile devices. We present two new low-level ions ...
253
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
Borealis is a distributed stream processing engine that is being developed at Brandeis University, Brown University, and MIT. Borealis inherits core stream processing functionalit...
150
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper presents a new two-levels page-based memory bus protection scheme. A trusted Operating System drives a hardware cryptographic unit and manages security contexts for e...
216
click to vote
FROCOS
2009
Springer
16 years 25 days ago
2009
Springer
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the...