5085 search results - page 722 / 1017 » Multidimensional Design by Examples |
180
Voted
ISPASS
2006
IEEE
16 years 1 months ago
2006
IEEE
The performance of computer systems depends, among other things, on the workload. Performance evaluations are therefore often done using logs of workloads on current productions s...
217
click to vote
RTSS
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we study temperature-constrained hard realtime systems, where real-time guarantees must be met without exceeding safe temperature levels within the processor. Dynam...
155
click to vote
SEW
2006
IEEE
16 years 1 months ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
204
click to vote
TABLETOP
2006
IEEE
16 years 1 months ago
2006
IEEE
Interactive tables can enhance small-group colocated collaborative work in many domains. One application enabled by this new technology is copresent, collaborative search for digi...
196
click to vote
TRIDENTCOM
2006
IEEE
16 years 1 months ago
2006
IEEE
—Wireless networks in combination with image sensors open up a multitude of previously unthinkable sensing applications. Capable tools and testbeds for these wireless image senso...