Sciweavers

2777 search results - page 441 / 556
» Example centric programming
Sort
View
ACM
1995
15 years 5 months ago
Characteristics of Modern System Implementation Languages
: Systems are written in systems implementation languages. What characterizes such languages in the mid-1990’s? This paper identifies the typical environment that a system is bei...
Judy M. Bishop, R. Faria
ICTAI
1997
IEEE
15 years 5 months ago
Prime Implicant Computation Using Satisfiability Algorithms
The computation of prime implicants has several and significant applications in different areas, including Automated Reasoning, Non-Monotonic Reasoning, Electronic Design Automati...
Vasco M. Manquinho, Paulo F. Flores, João P...
ICCD
1995
IEEE
83views Hardware» more  ICCD 1995»
15 years 5 months ago
Concurrent timing optimization of latch-based digital systems
Many design techniques have been proposed to optimize the performance of a digital system implemented in a given technology. Each of these techniques can be advantageous in partic...
Hong-Yean Hsieh, Wentai Liu, Ralph K. Cavin III, C...
ICRA
1995
IEEE
167views Robotics» more  ICRA 1995»
15 years 5 months ago
Modeling of Linear Objects Considering Bend, Twist, and Extensional Deformations
A systematic approach to the modeling of deformable ne linear objects is presented. Various deformable objects are manipulated in many manufacturing processes. Deformation of the...
Hidefumi Wakamatsu, Shinichi Hirai, Kazuaki Iwata
COMPGEOM
1991
ACM
15 years 5 months ago
A Pivoting Algorithm for Convex Hulls and Vertex Enumeration of Arrangements and Polyhedra
We present a new pivot-based algorithm which can be used with minor modification for the enumeration of the facets of the convex hull of a set of points, or for the enumeration o...
David Avis, Komei Fukuda