Sciweavers

4323 search results - page 260 / 865
» Callback Implementations in C
Sort
View
EPIA
1993
Springer
15 years 8 months ago
Resolution of Constraints in Algebras of Rational Trees
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...
Luís Damas, Nelma Moreira, Sabine Broda
ICSE
1994
IEEE-ACM
15 years 8 months ago
Prototyping a Visual Formalism for System Modelling
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...
Michael W. Godfrey, Richard C. Holt, Spiros Mancor...
MM
1993
ACM
97views Multimedia» more  MM 1993»
15 years 8 months ago
Performance of a Software MPEG Video Decoder
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 ...
Ketan Patel, Brian C. Smith, Lawrence A. Rowe
ICDE
2007
IEEE
108views Database» more  ICDE 2007»
15 years 8 months ago
Problem definition for effective workload management
The paper introduces the problem of designing dynamic workload management (WM) tools that are aware of the diversity of classes of users and their diverse access patterns. Our app...
Adrian M. Teisanu, Sam Lightstone, Mariano P. Cons...
DATE
2004
IEEE
126views Hardware» more  DATE 2004»
15 years 8 months ago
GRAAL - A Development Framework for Embedded Graphics Accelerators
This paper presents a versatile hardware/software cosimulation and co-design environment for embedded 3D graphics accelerators. The GRAphics AcceLerator design exploration framewo...
Dan Crisu, Sorin Cotofana, Stamatis Vassiliadis, P...