Sciweavers

4311 search results - page 215 / 863
» Code Generation for Distributed Systems
Sort
View
ICSE
2005
IEEE-ACM
16 years 6 months ago
Automatic generation and maintenance of correct spreadsheets
Existing spreadsheet systems allow users to change cells arbitrarily, which is a major source of spreadsheet errors. We propose a system that prevents errors in spreadsheets by re...
Martin Erwig, Robin Abraham, Irene Cooperstein, St...
PLDI
2004
ACM
15 years 11 months ago
Fast searches for effective optimization phase sequences
It has long been known that a fixed ordering of optimization phases will not produce the best code for every application. One approach for addressing this phase ordering problem ...
Prasad Kulkarni, Stephen Hines, Jason Hiser, David...
169
Voted
IPPS
2003
IEEE
15 years 11 months ago
Application/Kernel Cooperation Towards the Efficient Execution of Shared-Memory Parallel Java Codes
In this paper we propose mechanisms to improve the performance of parallel Java applications executing on multiprogrammed shared-memory multiprocessors. The proposal is based on a...
Jordi Guitart, Xavier Martorell, Jordi Torres, Edu...
RSP
2003
IEEE
117views Control Systems» more  RSP 2003»
15 years 11 months ago
Prototype-Based Tests for Hybrid Reactive Systems
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
Gabor Hahn, Jan Philipps, Alexander Pretschner, Th...
CCS
2005
ACM
15 years 12 months ago
Fast and automated generation of attack signatures: a basis for building self-protecting servers
Large-scale attacks, such as those launched by worms and zombie farms, pose a serious threat to our network-centric society. Existing approaches such as software patches are simpl...
Zhenkai Liang, R. Sekar