7080 search results - page 1153 / 1416 » Designing High Integrity Systems Using Aspects |
123
click to vote
EWC
2002
15 years 3 months ago
2002
An object-oriented (OO) framework for Partial tial Equations (PDEs) provides software abstractions for numerical simulation of PDEs. The design of such frameworks is not trivial, a...
158
click to vote
AISC
1998
Springer
15 years 8 months ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
145
Voted
CASES
2005
ACM
15 years 6 months ago
2005
ACM
In this work, we propose and investigate the idea of enhancing a System-on-Chip (SoC) communication architecture (the fabric that integrates system components and carries the comm...
152
click to vote
SIGIR
2010
ACM
15 years 8 months ago
2010
ACM
Music information retrieval (MIR) holds great promise as a technology for managing large music archives. One of the key components of MIR that has been actively researched into is...
211
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
While there seems to be a general agreement that next years' systems will include many processing cores, it is often overlooked that these systems will also include an increa...