4476 search results - page 822 / 896 » Modeling software architectures in the Unified Modeling Lang... |
163
click to vote
GPCE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Domain-Specific Languages (DSLs) represent a proven approach to raising the abstraction level of programming. They offer highlevel constructs and notations dedicated to...
162
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
163
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
The testing of the performance of opportunistic communication protocols and applications is usually done through simulation as i) deployments are expensive and should be left to t...
144
Voted
ISPASS
2006
IEEE
15 years 11 months ago
2006
IEEE
Current simulation-sampling techniques construct accurate model state for each measurement by continuously warming large microarchitectural structures (e.g., caches and the branch...
143
Voted
CASES
2001
ACM
15 years 9 months ago
2001
ACM
In an embedded system, it is common to have several memory areas with different properties, such as access time and size. An access to a specific memory area is usually restricted...