1140 search results - page 217 / 228 » A Model Driven Framework for IT Transformation |
117
click to vote
EMSOFT
2001
Springer
15 years 4 months ago
2001
Springer
ltiple Levels of Abstractions in Embedded Software Design Jerry R. Burch1, Roberto Passerone1, and Alberto L. Sangiovanni-Vincentelli2 1 Cadence Berkeley Laboratories, Berkeley CA ...
EUROCAST
2001
Springer
15 years 4 months ago
2001
Springer
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
109
Voted
ICRA
1994
IEEE
15 years 3 months ago
1994
IEEE
A mobile robot requires perception of its local environment for both sensor based locomotion and for position estimation. Occupancy grids, based on ultrasonic range data, provide ...
131
click to vote
ICS
1994
Tsinghua U.
15 years 3 months ago
1994
Tsinghua U.
This paper describes the design of a compiler which can translate out-of-core programs written in a data parallel language like HPF. Such a compiler is required for compiling larg...
99
Voted
ASIACRYPT
2009
Springer
15 years 3 months ago
2009
Springer
Proofs of storage (PoS) are interactive protocols allowing a client to verify that a server faithfully stores a file. Previous work has shown that proofs of storage can be constru...