Sciweavers

22698 search results - page 4107 / 4540
» Modeling in Software Engineering
Sort
View
DATE
2007
IEEE
136views Hardware» more  DATE 2007»
16 years 16 days ago
Compositional specification of behavioral semantics
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...
Kai Chen 0003, Janos Sztipanovits, Sandeep Neema
HICSS
2007
IEEE
140views Biometrics» more  HICSS 2007»
16 years 15 days ago
Design Pattern Evolution and Verification Using Graph Transformation
This paper presents a graph transformation based approach to design pattern evolution. An evolution of a design pattern includes modifications of pattern elements, such as classes...
Chunying Zhao, Jun Kong, Kang Zhang
IPPS
2007
IEEE
16 years 14 days ago
Simulating Red Storm: Challenges and Successes in Building a System Simulation
Supercomputers are increasingly complex systems merging conventional microprocessors with system on a chip level designs that provide the network interface and router. At Sandia N...
Keith D. Underwood, Michael Levenhagen, Arun Rodri...
ISCAS
2007
IEEE
208views Hardware» more  ISCAS 2007»
16 years 14 days ago
Adaptive Lagrange Multiplier Selection for Intra-Frame Video Coding
— The Lagrangian technique proves to be an effective way in Rate-Distortion optimization for hybrid video coding. In this paper, an new Lagrange multiplier selection method for I...
Xiang Li, Norbert Oertel, André Kaup
CC
2007
Springer
107views System Software» more  CC 2007»
16 years 11 days ago
A Fast Cutting-Plane Algorithm for Optimal Coalescing
Abstract. Recent work has shown that the subtasks of register allocation (spilling, register assignment, and coalescing) can be completely separated. This work presents an algorith...
Daniel Grund, Sebastian Hack
« Prev « First page 4107 / 4540 Last » Next »