Sciweavers

9974 search results - page 1637 / 1995
» Software Interconnection Models
Sort
View
175
Voted
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 29 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
« Prev « First page 1637 / 1995 Last » Next »