4743 search results - page 327 / 949 » The PlusCal Algorithm Language |
147
click to vote
SCP
2010
15 years 2 months ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
116
click to vote
EMNLP
2010
15 years 2 months ago
2010
Linguistic Steganography is concerned with hiding information in natural language text. One of the major transformations used in Linguistic Steganography is synonym substitution. ...
115
click to vote
DSL
2009
15 years 1 months ago
2009
Abstract. Experimental game theory is an increasingly important research tool in many fields, providing insight into strategic behavior through simulation and experimentation on ga...
174
click to vote
JCDL
2011
ACM
14 years 7 months ago
2011
ACM
With product reviews growing in depth and becoming more numerous, it is growing challenge to acquire a comprehensive understanding of their contents, for both customers and produc...
142
click to vote
POPL
2011
ACM
14 years 7 months ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...