6740 search results - page 241 / 1348 » Using Classification as a Programming Language |
121
Voted
CSL
2004
Springer
15 years 6 months ago
2004
Springer
Using separation logic, this paper presents three Hoare logics (corresponding to different notions of correctness) for the simple While language extended with commands for heap acc...
108
click to vote
WOA
2004
15 years 3 months ago
2004
Abstract-- In this article we present a visual development environment for writing DyLOG programs, explaining the motivations to this work and the main design choices. We will also...
120
Voted
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The paradigm shift in processor design from monolithic processors to multicore has renewed interest in programming models that facilitate parallelism. While multicores ar...
129
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Checkpointing and replaying is an attractive technique that has been used widely at the operating/runtime system level to provide fault tolerance. Applying such a technique at the...
105
click to vote
INTERSPEECH
2010
14 years 9 months ago
2010
The amount of available Thai broadcast news transcribed text for training a language model is still very limited, comparing to other major languages. Since the construction of a b...