3792 search results - page 452 / 759 » Techniques for Trusted Software Engineering |
167
click to vote
ARCS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. This paper proposes a new hardware-based energy management technique for future embedded multithreaded processors with integrated Earliest Deadline First (EDF) real-time ...
166
click to vote
ICESS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
176
click to vote
UIST
2004
ACM
16 years 6 days ago
2004
ACM
Volumetric displays provide interesting opportunities and challenges for 3D interaction and visualization, particularly when used in a highly interactive manner. We explore this a...
134
click to vote
UIST
2004
ACM
16 years 6 days ago
2004
ACM
We present a technique for scrolling through documents that is simple to implement and requires no special hardware. This is accomplished by simulating a hardware scroll ring—a ...
163
Voted
ICFEM
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In this paper we present a technique for the Spin tool, inspired by practical experiences with Spin and a FireWire protocol. We show how to guide simulations with Spin, b...