Sciweavers

3155 search results - page 400 / 631
» Maintenance: Less Is Not More
Sort
View
FM
1999
Springer
111views Formal Methods» more  FM 1999»
15 years 10 months ago
Developing BON as an Industrial-Strength Formal Method
Abstract. The emerging Unified Modelling Language has been touted as merging the best features of existing modelling languages, and has been adopted by leading companies and vendo...
Richard F. Paige, Jonathan S. Ostroff
MICCAI
1999
Springer
15 years 10 months ago
Extracting Features from Tactile Maps
Tactile imaging is a newly developed mechanical sensing technology for documenting the properties of hard lumps contained in soft tissue. An examiner strokes a scan head across tis...
Parris S. Wellman, Robert D. Howe
SAS
1999
Springer
106views Formal Methods» more  SAS 1999»
15 years 10 months ago
Static Analyses for Eliminating Unnecessary Synchronization from Java Programs
This paper presents and evaluates a set of analyses designed to reduce synchronization overhead in Java programs. Monitor-based synchronization in Java often causes significant ove...
Jonathan Aldrich, Craig Chambers, Emin Gün Si...
VISUALIZATION
1998
IEEE
15 years 10 months ago
Isosurface extraction in time-varying fields using a temporal hierarchical index tree
Many high-performance isosurface extraction algorithms have been proposed in the past several years as a result of intensive research efforts. When applying these algorithms to la...
Han-Wei Shen
CAPTECH
1998
Springer
15 years 10 months ago
Artificial Neural Networks for Motion Emulation in Virtual Environments
Simulation of natural human movement has proven to be a challenging problem, difficult to be solved by more or less traditional bioinspired strategies. In opposition to several exi...
Y. Bellan, Mario Costa, Giancarlo Ferrigno, Fabriz...