75 search results - page 1 / 15 » Preserving Architectural Properties in Multithreaded Code Ge... |
COORDINATION
2005
Springer
13 years 10 months ago
2005
Springer
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...
JSS
2010
12 years 11 months ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
HOTSWUP
2009
ACM
13 years 2 months ago
2009
ACM
Dynamic software update is a technique by which a running program can be updated with new code and data without interrupting its execution. Often we will want to preserve properti...
ISCAPDCS
2003
13 years 6 months ago
2003
This paper presents the Dynamic Simultaneous Multithreaded Architecture (DSMT). DSMT efficiently executes multiple threads from a single program on a SMT processor core. To accomp...
VISUALIZATION
1999
IEEE
13 years 9 months ago
1999
IEEE
Computer simulation and digital measuring systems are now generating data of unprecedented size. The size of data is becoming so large that conventional visualization tools are in...