1888 search results - page 311 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
150
Voted
BMAS
2000
IEEE
15 years 9 months ago
2000
IEEE
This article introduces the concept of combining both form (CAD models) and behavior (simulation models) of mechatronic system components into component objects. By composing thes...
160
click to vote
AOSD
2008
ACM
15 years 6 months ago
2008
ACM
We have reimplemented the frontend of the extensible AspectBench Compiler for AspectJ, using the aspect-oriented meta-compiler JastAdd. The original frontend was purely object-ori...
116
click to vote
PDP
2007
IEEE
15 years 11 months ago
2007
IEEE
Scientific and engineering programming has been around since the beginning of computing, often being the driving force for new system development and innovation. At the same time...
116
click to vote
PERCOM
2008
ACM
16 years 4 months ago
2008
ACM
We describe an approach to automate certain highlevel implementation decisions in a pervasive application, allowing them to be postponed until run time. Our system enables a model...
146
Voted
TCS
2008
15 years 4 months ago
2008
Formalized study of self-assembly has led to the definition of the tile assembly model, a highly distributed parallel model of computation that may be implemented using molecules ...