Sciweavers

1140 search results - page 148 / 228
» A Model Driven Framework for IT Transformation
Sort
View
GPCE
2007
Springer
15 years 10 months ago
Generative metaprogramming
Recent advances in Software Engineering have reduced the cost of coding programs at the expense of increasing the complexity of program synthesis, i.e. metaprograms, which when ex...
Salvador Trujillo, Maider Azanza, Oscar Día...
IPPS
2006
IEEE
16 years 11 days ago
Relationships between communication models in networks using atomic registers
A distributed system is commonly modelled by a graph where nodes represent processors and there is an edge between two processors if and only if they can communicate directly. In ...
Lisa Higham, Colette Johnen
ATVA
2006
Springer
158views Hardware» more  ATVA 2006»
15 years 10 months ago
Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
Hang Su, Graham Hemingway, Kai Chen, T. John Koo
COMPUTER
2000
128views more  COMPUTER 2000»
15 years 6 months ago
What's Ahead for Embedded Software?
hysical world. How do you adapt software abstractions designed merely to transform data to meet requirements like real-time constraints, concurrency, and stringent safety considera...
Edward A. Lee
ICPR
2006
IEEE
16 years 7 months ago
Boosted Markov Chain Monte Carlo Data Association for Multiple Target Detection and Tracking
In this paper, we present a probabilistic framework for automatic detection and tracking of objects. We address the data association problem by formulating the visual tracking as ...
Bo Wu, Gérard G. Medioni, Isaac Cohen, Qian...