1435 search results - page 276 / 287 » CASE Support and Model-Based Development |
AISC
1998
Springer
14 years 25 days 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, ...
POS
1994
Springer
14 years 20 days ago
1994
Springer
We consider some issues in optimizing persistent programming languages. In particular, we show how to express optimizations of object residency checks in strongly typed persistent...
DEBS
2010
ACM
14 years 15 days ago
2010
ACM
We present a case study parallelizing streaming aggregation on three different parallel hardware architectures. Aggregation is a performance-critical operation for data summarizat...
ISSTA
2010
ACM
14 years 14 days ago
2010
ACM
Dynamic loading of software components (e.g., libraries or modules) is a widely used mechanism for improved system modularity and flexibility. Correct component resolution is cri...
ASIACRYPT
2006
Springer
14 years 10 days ago
2006
Springer
Abstract. Stream ciphers play an important role in symmetric cryptology because of their suitability in high speed applications where block ciphers fall short. A large number of fa...