253 search results - page 13 / 51 » Software Engineering: A System Dynamics Simulated Pedagogica... |
119
Voted
CAV
2009
Springer
16 years 4 months ago
2009
Springer
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...
109
Voted
GCC
2009
Springer
15 years 1 months ago
2009
Springer
The design and development of a complex system as well as the simulation of its dynamic behavior are usually involved in multidisciplinary field knowledge. HLA-based collaborative ...
160
Voted
AC
2005
Springer
15 years 3 months ago
2005
Springer
Reducing power consumption has become a major challenge in the design and operation of today's computer systems. This chapter describes different techniques addressing this c...
141
Voted
FASE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Software architecture constitutes a promising approach to the development of large-scale distributed systems, but architecture description languages (ADLs) and their asso...
158
Voted
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
Existing dynamic race detectors suffer from at least one of the following three limitations: (i) space overhead per memory location grows linearly with the number of parallel thre...