Sciweavers

7124 search results - page 1020 / 1425
» Programming Languages and Operating Systems
Sort
View
ICALP
2007
Springer
15 years 11 months ago
An Optimal Decomposition Algorithm for Tree Edit Distance
Abstract. The edit distance between two ordered rooted trees with vertex labels is the minimum cost of transforming one tree into the other by a sequence of elementary operations c...
Erik D. Demaine, Shay Mozes, Benjamin Rossman, Ore...
JPDC
2010
117views more  JPDC 2010»
15 years 3 months ago
Extensible transactional memory testbed
Transactional Memory (TM) is a promising abstraction as it hides all synchronization complexities from the programmers of concurrent applications. More particularly the TM paradig...
Derin Harmanci, Vincent Gramoli, Pascal Felber, Ch...
PROPOR
2010
Springer
278views Languages» more  PROPOR 2010»
15 years 11 months ago
Translating from Complex to Simplified Sentences
We address the problem of simplifying Portuguese texts at the sentence level treating it as a "translation task". We use the Statistical Machine Translation (SMT) framewo...
Lucia Specia
CSFW
2006
IEEE
15 years 11 months ago
Noninterference in the Presence of Non-Opaque Pointers
A common theoretical assumption in the study of information flow security in Java-like languages is that pointers are opaque – i.e., that the only properties that can be observ...
Daniel Hedin, David Sands
137
Voted
SEFM
2006
IEEE
15 years 11 months ago
Modeling Heterogeneous Real-time Components in BIP
We present a methodology for modeling heterogeneous real-time components. Components are obtained as the superposition of three layers : Behavior, specified as a set of transitio...
Ananda Basu, Marius Bozga, Joseph Sifakis
« Prev « First page 1020 / 1425 Last » Next »