Sciweavers

6171 search results - page 419 / 1235
» The FrameNet Data and Software
Sort
View
CODES
2001
IEEE
15 years 10 months ago
A practical tool box for system level communication synthesis
This paper presents a practical approach to communication synthesis for hardware/software system specified as tasks communicating through lossless blocking channels. It relies on ...
Denis Hommais, Frédéric Pétro...
IASTEDSEA
2004
15 years 8 months ago
Tube: Interactive model-integrated object-oriented programming
Software engineering is hampered by the fact that software systems quickly become so complex that they are hard to understand, evolve and maintain. Closer integration of code and ...
Axel Rauschmayer, Patrick Renner
ICSE
2010
IEEE-ACM
15 years 4 months ago
SOABench: performance evaluation of service-oriented middleware made easy
SOABench is a framework for the automatic generation, execution and analysis of testbeds for evaluating the performance of service-oriented middleware. Testbeds can be characteriz...
Domenico Bianculli, Walter Binder, Mauro Luigi Dra...
230
Voted
HOTSWUP
2009
ACM
15 years 4 months ago
Migrating Protocols in Multi-Threaded Message-Passing Systems
Dynamic software update is a technique by which a running program can be updated with new code and data without interrupting its execution. Often we will want to preserve properti...
Austin Anderson, Julian Rathke
PLDI
2011
ACM
14 years 9 months ago
Systematic editing: generating program transformations from an example
Software modifications are often systematic—they consist of similar, but not identical, program changes to multiple contexts. Existing tools for systematic program transformati...
Na Meng, Miryung Kim, Kathryn S. McKinley