9412 search results - page 1506 / 1883 » An aspect-oriented generative approach |
154
click to vote
TLDI
2003
ACM
16 years 1 days ago
2003
ACM
We describe a design pattern for writing programs that traverse data structures built from rich mutually-recursive data types. Such programs often have a great deal of “boilerpl...
209
click to vote
CAEPIA
2003
Springer
16 years 1 days ago
2003
Springer
E–mail is one of the most common ways to communicate, assuming, in some cases, up to 75% of a company’s communication, in which every employee spends about 90 minutes a day in ...
192
click to vote
CHARME
2003
Springer
16 years 1 days ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
173
click to vote
FM
2003
Springer
16 years 20 hour ago
2003
Springer
Abstract. Program certification techniques formally show that programs satisfy certain safety policies. They rely on the correctness of the safety policy which has to be establish...
168
click to vote
FPGA
2003
ACM
16 years 19 hour ago
2003
ACM
The routing channels of an FPGA consist of wire segments of various types providing the tradeoff between performance and routability. In the routing architectures of recently dev...