1805 search results - page 319 / 361 » A Theory of Closure Operators |
155
click to vote
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
This paper presents an EDF-based algorithm, called Earliest Deadline Deferrable Portion (EDDP), for efficient scheduling of recurrent real-time tasks on multiprocessor systems. Th...
145
click to vote
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
153
click to vote
IMC
2007
ACM
15 years 5 months ago
2007
ACM
We address the problem of efficient end-to-end network monitoring of path metrics in communication networks. Our goal is to minimize the number of measurements or monitors requir...
152
click to vote
VMV
2004
15 years 5 months ago
2004
Unstructured tetrahedral grids are a common data representation of three-dimensional scalar fields. For convex unstructured meshes efficient rendering methods are known. For conca...
149
click to vote
ISM
2008
IEEE
15 years 4 months ago
2008
IEEE
It is important for managers and Information Technology professionals to understand data-driven decision support systems and how such systems can provide business intelligence and ...