6201 search results - page 1022 / 1241 » Implementation of Axiomatic Language |
157
click to vote
CASES
2006
ACM
16 years 17 days ago
2006
ACM
Memory size reduction and memory accesses optimization are crucial issues for embedded systems. In the context of affine programs, these two challenges are classically tackled by ...
165
click to vote
ECLIPSE
2006
ACM
16 years 17 days ago
2006
ACM
The goal of a clone detection tool is to identify sections of code that are duplicated in a program. The result of the detection is presented in some manner for the user to view, ...
151
click to vote
ERLANG
2006
ACM
16 years 17 days ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...
143
click to vote
EXPDB
2006
ACM
16 years 17 days ago
2006
ACM
Current publish / subscribe systems offer a range of expressive subscription languages for constraints. However, classical systems restrict the publish operation to be a single p...
162
click to vote
ISLPED
2006
ACM
16 years 16 days ago
2006
ACM
Interprocessor synchronization, while extremely important for ensuring execution correctness, can be very costly in terms of both power and performance overheads. Unfortunately, m...