Sciweavers

5042 search results - page 69 / 1009
» Visions for application development on hybrid computing syst...
Sort
View
ECBS
2007
IEEE
85views Hardware» more  ECBS 2007»
15 years 11 months ago
A Hybrid View in a Laparoscopic Surgery Training System
In this paper, a hybrid view application is proposed — a subsystem of a computerized laparoscopic surgery training system. To minimize the potential hazards of laparoscopic surg...
Chuan Feng, Jerzy W. Rozenblit, Allan J. Hamilton
130
Voted
FGCS
2000
100views more  FGCS 2000»
15 years 4 months ago
Investigating the application of web-based simulation principles within the architecture for a next-generation computer generate
With a heavy emphasis on distribution and reuse, web-based simulation portends a dramatic shift in the application of simulation as a problem-solving technique and decision-suppor...
Ernest H. Page, Jeffrey M. Opper
ACMIDC
2010
15 years 4 months ago
Make a Riddle and TeleStory: designing children's applications for the siftables platform
We present the design of Make a Riddle and TeleStory, educational applications developed on the Siftables platform for children aged 4-7 years. Siftables are hybrid tangible-g...
Seth Hunter, Jeevan J. Kalanithi, David Merrill
LDTA
2010
15 years 4 months ago
Embedding a web-based workflow management system in a functional language
Workflow management systems guide and monitor tasks performed by humans and computers. The workflow specifications are usually expressed in special purpose (graphical) formalisms....
Jan Martin Jansen, Rinus Plasmeijer, Pieter W. M. ...
140
Voted
ENTCS
2006
185views more  ENTCS 2006»
15 years 4 months ago
Time Domain Verification of Oscillator Circuit Properties
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Ode...