Sciweavers

3516 search results - page 235 / 704
» Programming Languages: Application and Interpretation
Sort
View
IWIC
2007
Springer
16 years 22 days ago
Exploiting Aligned Parallel Corpora in Multilingual Studies and Applications
Parallel corpora encode extremely valuable linguistic knowledge, the revealing of which is facilitated by the recent advances in multilingual corpus linguistics. The linguistic dec...
Dan Tufis
ISW
2010
Springer
15 years 4 months ago
An Architecture for Enforcing JavaScript Randomization in Web2.0 Applications
Abstract. Instruction Set Randomization (ISR) is a promising technique for preventing code-injection attacks. In this paper we present a complete randomization framework for JavaSc...
Elias Athanasopoulos, Antonis Krithinakis, Evangel...
IFL
2005
Springer
207views Formal Methods» more  IFL 2005»
16 years 3 days ago
A Dependently Typed Framework for Static Analysis of Program Execution Costs
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
Edwin Brady, Kevin Hammond
FLAIRS
2004
15 years 8 months ago
A Dialogue-Based Tutoring System for Beginning Programming
We present a preventive model of tutoring for novice programming derived from a human corpus and describe our intelligent tutoring system PROPL embodying that model. The system co...
H. Chad Lane, Kurt VanLehn
ESTIMEDIA
2007
Springer
16 years 23 days ago
Data-Parallel Code Generation from Synchronous Dataflow Specification of Multimedia Applications
Embedded software design for MPSoC needs parallel programming. Popular programming languages such as C and C++ are not adequate for initial specification since they are designed f...
Seongnam Kwon, Choonseung Lee, Soonhoi Ha