4820 search results - page 350 / 964 » Implementing Signatures for C |
109
click to vote
UIST
1996
ACM
15 years 8 months ago
1996
ACM
The Cage is an easy to use 3D grid. Built into a 3D modeler, it provides a visualized reference coordinate system that helps the user to orient himself in 3D space, and that suppo...
125
click to vote
ICCAD
1994
IEEE
15 years 8 months ago
1994
IEEE
For a logic design with level-sensitive latches, we need to validate timing signal paths which may flush through several latches. We developed efficient algorithms based on the mo...
148
click to vote
EPIA
1993
Springer
15 years 8 months ago
1993
Springer
Abstract. This work presents a constraint solver for the domain of rational trees. Since the problem is NP-hard the strategy used by the solver is to reduce as much as possible, in...
117
click to vote
ICSE
1994
IEEE-ACM
15 years 8 months ago
1994
IEEE-ACM
Abstract. Formal, visual approaches to system modelling are a promising research sub-area of con guration management. A visual notation for con guring software systems, called ConF...
136
click to vote
MM
1993
ACM
15 years 8 months ago
1993
ACM
The design and implementation of a software decoder for MPEG video bitstreams is described. The software has been ported to numerous platforms including PC’s, workstations, and ...