Sciweavers

6 search results - page 1 / 2
» Using semi-lagrangian formulations with automatic code gener...
Sort
View
SAC
2004
ACM
13 years 10 months ago
Using semi-lagrangian formulations with automatic code generation for environmental modeling
An import issue for numerical weather prediction modes (NWP) is the time it takes to produce a valid forecast. One factor, which greatly influences this simulation time is the si...
Paul van der Mark, Lex Wolters, Gerard Cats
WSC
2008
13 years 7 months ago
Generating artificial populations using a multi-level fuzzy inference engine
The design of complex artificial populations is the first step in simulating evolution during the time span of socioeconomic variables as the family income. In this paper, a new h...
Carlos R. Garcia-Alonso, Gabriel M. Perez-Alcala
MEMOCODE
2003
IEEE
13 years 10 months ago
LOTOS Code Generation for Model Checking of STBus Based SoC: the STBus interconnect
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
Pierre Wodey, Geoffrey Camarroque, Fabrice Baray, ...
ICRA
2009
IEEE
170views Robotics» more  ICRA 2009»
13 years 11 months ago
Automatic high-precision self-calibration of camera-robot systems
— In this article a new method is presented to obtain a full and precise calibration of camera-robot systems with eyein-hand cameras. It achieves a simultaneous and numerically s...
Andreas Jordt, Nils T. Siebel, Gerald Sommer
PASTE
2010
ACM
13 years 10 months ago
Extracting compiler provenance from program binaries
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...
Nathan E. Rosenblum, Barton P. Miller, Xiaojin Zhu