Sciweavers

905 search results - page 27 / 181
» Code Generator Testing in Practice
Sort
View
DATE
2009
IEEE
136views Hardware» more  DATE 2009»
14 years 4 months ago
A novel approach to entirely integrate Virtual Test into test development flow
– In this paper, we present an open architecture Virtual Test Environment (VTE) which can be easily integrated into various modularized Automatic Test Systems (ATS) compliant to ...
Ping Lu, Daniel Glaser, Gürkan Uygur, Klaus H...
TEC
2011
77views more  TEC 2011»
13 years 4 months ago
Differential Evolution With Composite Trial Vector Generation Strategies and Control Parameters
—Trial vector generation strategies and control parameters have a significant influence on the performance of differential evolution (DE). This paper studies whether the performa...
Yong Wang, Zixing Cai, Qingfu Zhang
TC
2010
13 years 4 months ago
Generating Reliable Code from Hybrid-Systems Models
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
Madhukar Anand, Sebastian Fischmeister, Yerang Hur...
VLDB
1995
ACM
71views Database» more  VLDB 1995»
14 years 1 months ago
Database De-Centralization - A Practical Approach
We describe a scheme to fragment and distribute centralized databases. ’ The problem is motivated by trends towards down-sizing and reorganization, reflecting actual, often dist...
Tor Didriksen, César A. Galindo-Legaria, Ei...
TLDI
2003
ACM
134views Formal Methods» more  TLDI 2003»
14 years 3 months ago
Scrap your boilerplate: a practical design pattern for generic programming
We describe a design pattern for writing programs that traverse data structures built from rich mutually-recursive data types. Such programs often have a great deal of “boilerpl...
Ralf Lämmel, Simon L. Peyton Jones