6274 search results - page 729 / 1255 » Proofs, Programs, Processes |
201
click to vote
MASCOTS
2004
15 years 8 months ago
2004
The prominent role of the memory hierarchy as one of the major bottlenecks in achieving good program performance has motivated the search for ways of capturing the memory performa...
194
click to vote
MBUI
2004
15 years 8 months ago
2004
In this paper, we present our perspective on Model-Based User Interfaces (hereafter MBUI) paradigm and provide with our experience in this area combining high-level knowledge-base...
180
click to vote
SOQUA
2004
15 years 8 months ago
2004
: Aspect-Oriented Programming (AOP) provides new constructs and tools to handle cross-cutting concerns in programs. Fully realizing the potentials of riented Software Development r...
177
click to vote
IJCAI
1993
15 years 8 months ago
1993
A student model description language and its synthesis method are presented. The language called SMDL is based on a logic programming language taking 4 truth values such as true, ...
142
click to vote
ALGORITHMICA
2010
15 years 7 months ago
2010
The Burrows-Wheeler transformation is used for effective data compression, e.g., in the well known program bzip2. Compression and decompression are done in a block-wise fashion; la...