1714 search results - page 100 / 343 » Abstract Models of Memory Management |
105
click to vote
BPM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We put forward an architectural framework that promotes the externalisation of the social dimension that arises in software-intensive systems which, like in healthcare, e...
173
click to vote
IESS
2009
Springer
15 years 27 days ago
2009
Springer
Abstract. Embedded system design complexities are growing exponentially. Demand has increased for modeling techniques that can provide both accurate measurements of delay and fast ...
141
click to vote
ICCD
2005
IEEE
15 years 8 months ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
132
click to vote
PSLS
1995
15 years 6 months ago
1995
Abstract. Lazy task creation (LTC) is an e cient approach for executing divide and conquer parallel programs that has been used in the implementation of Multilisp's future con...
138
click to vote
BNCOD
1997
15 years 4 months ago
1997
Abstract. In this paper we present two improvements to the partitioning process: 1) A new dynamic bu er management strategy is employed to increase the average block size of I/O-tr...