Sciweavers

9974 search results - page 1637 / 1995
» Software Interconnection Models
Sort
View
DATE
2007
IEEE
136views Hardware» more  DATE 2007»
16 years 1 months 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 1 months 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 1 months 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...
IROS
2007
IEEE
112views Robotics» more  IROS 2007»
16 years 1 months ago
Orchestrating concurrency in robot swarms
— A functional approach to programming robot swarms brings with it well-defined properties that allow for automated concurrency and distributed execution. Further, the particula...
Anthony Cowley, Camillo J. Taylor
ISCAS
2007
IEEE
208views Hardware» more  ISCAS 2007»
16 years 1 months 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
« Prev « First page 1637 / 1995 Last » Next »