Sciweavers

184 search results - page 7 / 37
» Incremental execution of transformation specifications
Sort
View
ECBS
1999
IEEE
93views Hardware» more  ECBS 1999»
14 years 2 months ago
Structured Specification of Model Interpreters
Model interpreters play an essential role in modelintegrated systems: they transform domain-specific models into executable models. The state-ot-the-art of model interpreter writi...
Gabor Karsai
RSP
1999
IEEE
122views Control Systems» more  RSP 1999»
14 years 2 months ago
Incremental Compilation for Logic Emulation
Over the past decade, the steady growth rate of FPGA device capacities has enabled the development of multi-FPGA prototyping environments capable of implementing millions of logic...
Russell Tessier
ECMDAFA
2007
Springer
122views Hardware» more  ECMDAFA 2007»
14 years 4 months ago
Model Transformation from OWL-S to BPEL Via SiTra
Although there are a large number of academic and industrial model transformation frameworks available, allowing specification, implementation, maintenance and documentation of mod...
Behzad Bordbar, Gareth Howells, Michael Evans, Ath...
ASPDAC
2007
ACM
117views Hardware» more  ASPDAC 2007»
14 years 1 months ago
Short-Circuit Compiler Transformation: Optimizing Conditional Blocks
Abstract-- We present the short-circuit code transformation technique, intended for embedded compilers. The transformation technique optimizes conditional blocks in high-level prog...
Mohammad Ali Ghodrat, Tony Givargis, Alex Nicolau
ICPR
2000
IEEE
14 years 2 months ago
Optical Transformations in Visual Navigation
The navigational tasks of computingtime-to-impact and controlling movements within specific range are addressed here. By using specially designed lenses various components of thes...
Didi Sazbon, Ehud Rivlin, Zeev Zalevsky, David Men...