Sciweavers

1015 search results - page 32 / 203
» Syntactic Control of Concurrency
Sort
View
84
Voted
ACL
1998
14 years 11 months ago
Integrated Control of Chart Items for Error Repair
This paper describes a system that performs hierarchical error repair for illformed sentences, with heterarchical control of chart items produced at the lexical, syntactic, and se...
Kyongho Min, William H. Wilson
66
Voted
SEMWEB
2007
Springer
15 years 3 months ago
CLOnE: Controlled Language for Ontology Editing
Abstract. This paper presents a controlled language for ontology editing and a software implementation, based partly on standard NLP tools, for processing that language and manipul...
Adam Funk, Valentin Tablan, Kalina Bontcheva, Hami...
ACSD
1998
IEEE
125views Hardware» more  ACSD 1998»
15 years 2 months ago
Hierarchical Concurrent Finite State Machines in Ptolemy
We implement a finite state machine (FSM) domain for specifying and simulating control functionality of a system within the Ptolemy software environment. The FSM domain is success...
Bilung Lee, Edward A. Lee
TACAS
2010
Springer
156views Algorithms» more  TACAS 2010»
14 years 7 months ago
Preemption Sealing for Efficient Concurrency Testing
The choice of where a thread scheduling algorithm preempts one thread in order to execute another is essential to reveal concurrency errors such as atomicity violations, livelocks,...
Thomas Ball, Sebastian Burckhardt, Katherine E. Co...
98
Voted
RTCSA
2008
IEEE
15 years 4 months ago
A Framework for Designing Embedded Real-Time Controllers
Control systems are typically designed assuming an ideal behavior of the computing infrastructure where controllers execute. In practice, however, in highly loaded computing syste...
Yifan Wu, Enrico Bini, Giorgio C. Buttazzo