Sciweavers

10263 search results - page 1879 / 2053
» From Use Cases to System Operation Specifications
Sort
View
SMA
2008
ACM
157views Solid Modeling» more  SMA 2008»
15 years 5 months ago
Interactive physically-based shape editing
We present an alternative approach to standard geometric shape editing using physically-based simulation. With our technique, the user can deform complex objects in real-time. The...
Johannes Mezger, Bernhard Thomaszewski, Simon Pabs...
SCFBM
2008
148views more  SCFBM 2008»
15 years 5 months ago
Flow: Statistics, visualization and informatics for flow cytometry
Flow is an open source software application for clinical and experimental researchers to perform exploratory data analysis, clustering and annotation of flow cytometric data. Flow...
Jacob Frelinger, Thomas B. Kepler, Cliburn Chan
VEE
2005
ACM
150views Virtualization» more  VEE 2005»
15 years 11 months ago
Diagnosing performance overheads in the xen virtual machine environment
Virtual Machine (VM) environments (e.g., VMware and Xen) are experiencing a resurgence of interest for diverse uses including server consolidation and shared hosting. An applicati...
Aravind Menon, Jose Renato Santos, Yoshio Turner, ...
ESOP
2001
Springer
15 years 10 months ago
Modeling an Algebraic Stepper
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...
John Clements, Matthew Flatt, Matthias Felleisen
GLVLSI
1998
IEEE
124views VLSI» more  GLVLSI 1998»
15 years 10 months ago
Non-Refreshing Analog Neural Storage Tailored for On-Chip Learning
In this research, we devised a new simple technique for statically holding analog weights, which does not require periodic refreshing. It further contains a mechanism to locally u...
Bassem A. Alhalabi, Qutaibah M. Malluhi, Rafic A. ...
« Prev « First page 1879 / 2053 Last » Next »