Sciweavers

7811 search results - page 1043 / 1563
» computing 2004
Sort
View
CHI
2004
ACM
16 years 6 months ago
Designing a compelling user interface for morphing
We present a new user interface for the common morphing tool found in animation packages. Previously this interface has been based on the features of the underlying algorithm, wit...
David Vronay, Shuo Wang
IMR
2004
Springer
15 years 12 months ago
Surface Mesh Projection for Hexahedral Mesh Generation by Sweeping
Sweep method is one of the most robust techniques to generate hexahedral meshes in extrusion volumes. One of the main issues to be dealt by any sweep algorithm is the projection o...
Xevi Roca, Josep Sarrate, Antonio Huerta
APCSAC
2004
IEEE
15 years 10 months ago
A Compiler-Assisted On-Chip Assigned-Signature Control Flow Checking
As device sizes continue shrinking, lower charges are needed to activate gates, and consequently ever smaller external events (such as single ionizing particles of naturally occurr...
Xiaobin Li, Jean-Luc Gaudiot
BROADNETS
2004
IEEE
15 years 10 months ago
Diverse Routing for Shared Risk Resource Groups (SRRG) Failures in WDM Optical Networks
Failure resilience is one of the desired features of the Internet. Most of the traditional restoration architectures are based on single-failure assumption which is unrealistic. M...
Pallab Datta, Arun K. Somani
CASSIS
2004
Springer
15 years 10 months ago
Verification of Safety Properties in the Presence of Transactions
The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...
Reiner Hähnle, Wojciech Mostowski
« Prev « First page 1043 / 1563 Last » Next »