Sciweavers

1369 search results - page 18 / 274
» Graphical Design of Reactive Systems
Sort
View
WSC
2001
13 years 8 months ago
Graphical methods for robust design of a semiconductor burn-in process
Discrete-event simulation is a common tool for the analysis of semiconductor manufacturing systems. With the aid of a simulation model, and in conjunction with sensitivity analysi...
Scott L. Rosen, Chad A. Geist, Daniel A. Finke, Jy...
WSCG
2000
93views more  WSCG 2000»
13 years 8 months ago
The Design and Application of High-Resolution 3D Stereoscopic Graphics Display on PC
This paper describes methods and procedures for real-time rendering of high-resolution 3D stereoscopic graphics using an improved 3D OpenGL accelerator on PC platform. The hardwar...
Duoduo Liao
CORR
2010
Springer
54views Education» more  CORR 2010»
13 years 6 months ago
Geoglyphs of Titicaca as an ancient example of graphic design
The paper proposes an ancient landscape design as an example of graphic design for an age and place where no written documents existed. It is created by a network of earthworks, w...
Amelia Carolina Sparavigna
IJCAI
2001
13 years 8 months ago
Executing Reactive, Model-based Programs through Graph-based Temporal Planning
In the future, webs of unmanned air and space vehicles will act together to robustly perform elaborate missions in uncertain environments. We coordinate these systems by introduci...
Phil Kim, Brian C. Williams, Mark Abramson
FMAM
2010
157views Formal Methods» more  FMAM 2010»
13 years 5 months ago
An Experience on Formal Analysis of a High-Level Graphical SOA Design
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova