1714 search results - page 240 / 343 » Abstract Models of Memory Management |
131
click to vote
NORDICHI
2004
ACM
15 years 8 months ago
2004
ACM
This case study examines a procurement project where the Swedish National Labor Market Administration (AMV) hired usability consultants in order to redesign their website for empl...
127
click to vote
ALGOSENSORS
2007
Springer
15 years 9 months ago
2007
Springer
e for abstract modeling, algorithmic design and analysis to achieve provably efficient, scalable and fault-tolerant realizations of such huge, highly-dynamic, complex, non-conventi...
149
click to vote
DAC
2007
ACM
16 years 4 months ago
2007
ACM
Abstract. Embedded multimedia systems often run multiple time-constrained applications simultaneously. These systems use multiprocessor systems-on-chip of which it must be guarante...
137
click to vote
ICAS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Traditionally, performance has been the most important metrics when evaluating a system. However, in the last decades industry and academia have been paying increasing a...
117
click to vote
SBMF
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...