Sciweavers

2251 search results - page 149 / 451
» Specification and Implementation Problems for C
Sort
View
121
Voted
WSC
1997
15 years 5 months ago
A Framework for Incorporating Dynamic Strategies in Earth-Moving Simulations
Earthwork projects involve moving specific amounts of earth from a discrete set of source locations to a discrete set of destinations. Constructors use different methods and equip...
Govindan Kannan, Julio C. Martínez, Michael...
174
Voted
DSD
2010
IEEE
221views Hardware» more  DSD 2010»
15 years 1 months ago
Modeling Reconfigurable Systems-on-Chips with UML MARTE Profile: An Exploratory Analysis
Reconfigurable FPGA based Systems-on-Chip (SoC) architectures are increasingly becoming the preferred solution for implementing modern embedded systems, due to their flexible natur...
Sana Cherif, Imran Rafiq Quadri, Samy Meftali, Jea...
ECOOPW
1999
Springer
15 years 8 months ago
Black-Box Program Specialization
Software components o er numerous advantages in terms of development, but may give rise to ine ciency due to highly generic implementations. Program specialization can automatical...
Ulrik Pagh Schultz
132
Voted
CSDA
2010
118views more  CSDA 2010»
15 years 3 months ago
Grapham: Graphical models with adaptive random walk Metropolis algorithms
Recently developed adaptive Markov chain Monte Carlo (MCMC) methods have been applied successfully to many problems in Bayesian statistics. Grapham is a new open source implementat...
Matti Vihola
188
Voted
SIGMOD
2008
ACM
120views Database» more  SIGMOD 2008»
16 years 3 months ago
Muse: a system for understanding and designing mappings
Schema mappings are logical assertions that specify the relationships between a source and a target schema in a declarative way. The specification of such mappings is a fundamenta...
Bogdan Alexe, Laura Chiticariu, Renée J. Mi...