2000 search results - page 273 / 400 » Program Transformation and Proof Transformation |
167
click to vote
HICSS
2007
IEEE
16 years 21 days ago
2007
IEEE
— This paper demonstrates how two different sets of powerful domain specific language features can be specified and deployed as composable language extensions. These extensions...
144
click to vote
ISCC
2007
IEEE
16 years 19 days ago
2007
IEEE
— Web servers are exposed to extremely changing runtime requirements. Going offline to adjust policies and configuration parameters in order to cope with such requirements is n...
153
click to vote
EGH
2007
Springer
16 years 16 days ago
2007
Springer
In this paper, we present a method for rendering deformations as part of the programmable shader pipeline of contemporary Graphical Processing Units. In our method, we allow gener...
160
click to vote
EUROSSC
2007
Springer
16 years 16 days ago
2007
Springer
Context-aware applications require context information to adapt their behaviour to the current situation. When developing context-aware applications, application developers need to...
170
click to vote
RTCSA
2006
IEEE
16 years 11 days ago
2006
IEEE
In this paper, we present a model-driven approach to RTOS-based embedded software development and an automated tool that can produce RTOS-specific code. Our contributions are two ...