Sciweavers

1099 search results - page 161 / 220
» Using Transformation Systems for Software Maintenance and Re...
Sort
View
HIPS
1998
IEEE
15 years 7 months ago
Parallel and Distributed Programming with Pthreads and Rthreads
This paper describes Rthreads (Remote threads), a software distributed shared memory system that supports sharing of global variables on clusters of computers with physically dist...
Bernd Dreier, Markus Zahn, Theo Ungerer
ISSTA
2004
ACM
15 years 8 months ago
Testing malware detectors
In today’s interconnected world, malware, such as worms and viruses, can cause havoc. A malware detector (commonly known as virus scanner) attempts to identify malware. In spite...
Mihai Christodorescu, Somesh Jha
FOSSACS
2012
Springer
13 years 11 months ago
A Coalgebraic Perspective on Minimization and Determinization
Coalgebra offers a unified theory of state based systems, including infinite streams, labelled transition systems and deterministic automata. In this paper, we use the coalgebrai...
Jirí Adámek, Filippo Bonchi, Mathias...
JUCS
2008
137views more  JUCS 2008»
15 years 3 months ago
CrossMDA: a Model-driven Approach for Aspect Management
: Nowadays, the complexity of software applications has brought new challenges to developers, having to deal with a large number of computational requirements. Among these requirem...
Marcelo Pitanga Alves, Paulo F. Pires, Fláv...
CC
2004
Springer
114views System Software» more  CC 2004»
15 years 7 months ago
Integrating the Soot Compiler Infrastructure into an IDE
This paper presents the integration of Soot, a byte-code analysis and transformation framework, with an integrated development environment (IDE), Eclipse. Such an integrated toolki...
Jennifer Lhoták, Ondrej Lhoták, Laur...