3771 search results - page 410 / 755 » Subobject Transformation Systems |
143
click to vote
RTCSA
2006
IEEE
15 years 11 months 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 ...
157
click to vote
HASKELL
2006
ACM
15 years 10 months ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
180
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...
132
Voted
CODES
2005
IEEE
15 years 10 months ago
2005
IEEE
Nested loops are the most critical sections in many scientific and Digital Signal Processing (DSP) applications. It is important to study effective and efficient transformation ...
120
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
The tradition of a worker who retires by age 65 is being replaced by a trend of longer periods of employment, leading people to believe that an aging workforce will be a major soc...