2836 search results - page 474 / 568 » Model Checking for Software Architectures |
134
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
The need for e-learning systems that support a diverse set of pedagogical requirements has been identified as an important issue in web-based education. Until now, significant R&a...
143
click to vote
ADC
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we attempt to parallelise a commodity database for OLAP on a cluster of commodity PCs by using a distributed high-performance storage subsystem. By parallelising the...
218
Voted
TCAD
2010
15 years 9 days ago
2010
For real-time applications, it is necessary to estimate the worst-case performance early in the design process without actual hardware implementation. While the non-preemptive task...
177
click to vote
ASPDAC
2004
ACM
15 years 11 months ago
2004
ACM
— The growing use of digital signal processors (DSPs) in embedded systems necessitates the use of optimizing compilers supporting their special architecture features. Beside the ...
187
Voted
BTW
2003
Springer
15 years 10 months ago
2003
Springer
Abstract: This paper introduces the Internet Operating Platform (IOP), an enterprise framework for large scale software development. In addition to obeying to important standards (...