Sciweavers

3602 search results - page 198 / 721
» Isn't It About Time
Sort
View
101
Voted
WIESS
2000
15 years 2 months ago
Incremental Linking on HP-UX
The linker is often a time bottleneck in the development of large applications. Traditional linkers process all input files, even if only one or two objects have changed since the...
Dmitry Mikulin, Murali Vijayasundaram, Loreena Won...
105
Voted
EUROGRAPHICS
2010
Eurographics
15 years 1 months ago
Fast and Efficient Skinning of Animated Meshes
Skinning is a simple yet popular deformation technique combining compact storage with efficient hardware accelerated rendering. While skinned meshes (such as virtual characters) a...
Ladislav Kavan, Peter-Pike Sloan, Carol O'Sullivan
341
Voted
JTRES
2010
ACM
15 years 28 days ago
The design of SafeJML, a specification language for SCJ with support for WCET specification
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
Ghaith Haddad, Faraz Hussain, Gary T. Leavens
84
Voted
AUTOMATICA
2010
119views more  AUTOMATICA 2010»
15 years 25 days ago
Path following for the PVTOL aircraft
This article presents a solution to the path following problem for the planar vertical take-off and landing aircraft (PVTOL) which is applicable to a class of smooth Jordan curves...
Luca Consolini, Manfredi Maggiore, Christopher Nie...
113
Voted
CORR
2010
Springer
149views Education» more  CORR 2010»
15 years 25 days ago
Lower Bounds for the Complexity of Monadic Second-Order Logic
Courcelle's famous theorem from 1990 states that any property of graphs definable in monadic second-order logic (MSO2) can be decided in linear time on any class of graphs of ...
Stephan Kreutzer, Siamak Tazari