1724 search results - page 136 / 345 » Industrial applications |
150
click to vote
COMPGEOM
1997
ACM
15 years 10 months ago
1997
ACM
An effective and fast algorithm is given for rotational overlap minimization: given an overlapping layout of polygons P1, P2, P3, . . . , Pk in a container polygon Q, translate an...
170
click to vote
FASE
2004
Springer
15 years 10 months ago
2004
Springer
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of...
200
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
Abstract. Many modern systems are designed as a set of interconnected reactive subsystems. The subsystem verification task is to verify an implementation of the subsystem against t...
133
click to vote
CAGD
2000
15 years 6 months ago
2000
Multi-point machining (MPM) is a tool positioning technique used for finish machining of sculptured surfaces. In this technique the desired surface is generated at more than one p...
150
click to vote
PC
1998
15 years 6 months ago
1998
In this paper, we present several tools for analyzing parallel programs. The tools are built on top of a compiler infrastructure, which provides advanced capabilities for symbolic...