11022 search results - page 2018 / 2205 » Programming Systems for Autonomy |
128
Voted
WSC
2007
15 years 4 months ago
2007
The composition and reuse of simulation model is currently a hot research topic in the area of complex system modeling and simulation. A unified simulation model representation is...
142
click to vote
AOSD
2008
ACM
15 years 4 months ago
2008
ACM
AspectJ was designed as a seamless aspect-oriented extension of the Java programming language. However, unlike Java, AspectJ does not have a safe type system: an accepted binding ...
133
Voted
ARCS
2008
Springer
15 years 4 months ago
2008
Springer
: The architecture of the IBM Cell BE processor represents a new approach for designing CPUs. The fast execution of legacy software has to stand back in order to achieve very high ...
103
click to vote
ASPDAC
2008
ACM
15 years 4 months ago
2008
ACM
In deep submicron technology, wire delay is no longer negligible and is gradually dominating the system latency. Some state-of-the-art architectural synthesis flows adopt the distr...
116
Voted
CAV
2008
Springer
15 years 4 months ago
2008
Springer
We consider an extension of integer linear arithmetic with a "star" operator takes closure under vector addition of the solution set of a linear arithmetic subformula. We...