Sciweavers

2227 search results - page 194 / 446
» Reversibility and Models for Concurrency
Sort
View
CGI
2004
IEEE
15 years 10 months ago
Depicting Shape Features with Directional Strokes and Spotlighting
This paper presents a new algorithm and technique for rendering triangular surfaces in pen-and-ink edge-based strokes. Our technique integrates two very important illustration str...
Mario Costa Sousa, Faramarz F. Samavati, Meru Brun...
ICALP
2000
Springer
15 years 10 months ago
The Many Faces of a Translation
First-order translations have recently been characterized as the maps computed by aperiodic single-valued nondeterministic finite transducers (NFTs). It is shown here that this ch...
Pierre McKenzie, Thomas Schwentick, Denis Th&eacut...
DAC
1995
ACM
15 years 10 months ago
Automatic Clock Abstraction from Sequential Circuits
Our goal is to transform a low-level circuit design into a more representation. A pre-existing tool, Tranalyze [4], takes a switch-level circuit and generates a functionally equiv...
Samir Jain, Randal E. Bryant, Alok Jain
IASSE
2004
15 years 8 months ago
Design Pattern Recognition
The role of design patterns in forward engineering is well known, also if it's not easy to use them, since large experience is needed. Different approaches and tools have bee...
Francesca Arcelli Fontana, Claudia Raibulet, Franc...
IASTEDSE
2004
15 years 8 months ago
Experience of communications software evolution and performance improvement with patterns
: Software evolves as requirements or technologies change. Tremendous efforts are often needed to support software evolution as evolution may involve reverse engineering and subseq...
Chung-Horng Lung, Qiang Zhao, Hui Xu, Heine Mar, P...