Sciweavers

23 search results - page 1 / 5
» dfg 2004
Sort
View
DFG
2004
Springer
13 years 10 months ago
Introduction to Subject Area 'Charts'
Werner Damm, Bernd Westphal
DFG
2004
Springer
13 years 10 months ago
Semantical Integration of Object-Oriented Viewpoint Specification Techniques
Benjamin Braatz, Markus Klein, Gunnar Schröte...
DFG
2004
Springer
13 years 8 months ago
A Formal Component Concept for the Specification of Industrial Control Systems
Abstract. Motivated by the wide acceptance of component based technologies in software development, a component concept for software engineering is applied to modeling in the field...
Benjamin Braatz, Markus Klein, Gunnar Schröte...
DFG
2009
Springer
13 years 11 months ago
Iterative Compression for Exactly Solving NP-Hard Minimization Problems
Abstract. We survey the conceptual framework and several applications of the iterative compression technique introduced in 2004 by Reed, Smith, and Vetta. This technique has proven...
Jiong Guo, Hannes Moser, Rolf Niedermeier
CASES
2004
ACM
13 years 8 months ago
Scalable custom instructions identification for instruction-set extensible processors
Extensible processors allow addition of application-specific custom instructions to the core instruction set architecture. However, it is computationally expensive to automaticall...
Pan Yu, Tulika Mitra