511 search results - page 53 / 103 » Spelling Correction Using Context |
119
Voted
CORR
2010
Springer
15 years 20 days ago
2010
Springer
Abstract In this paper, we introduce Continuation Passing C (CPC), a programming language for concurrent systems in which native and cooperative threads are unified and presented t...
129
click to vote
COLING
2002
15 years 12 days ago
2002
In this paper we investigate the task of automatically identifying the correct argument structure for a set of verbs. The argument structure of a verb allows us to predict the rel...
93
Voted
MEMOCODE
2007
IEEE
15 years 6 months ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
POS
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Defining persistence in terms of reachability is fundamental to achieving orthogonality of persistence. It is implicit to the principles of orthogonal persistence and is ...
290
click to vote
ACTA
2011
14 years 7 months ago
2011
A simple mutual exclusion algorithm is presented that only uses nonatomic shared variables of bounded size, and that satisfies bounded overtaking. When the shared variables behave...