4743 search results - page 336 / 949 » The PlusCal Algorithm Language |
159
click to vote
IHI
2012
13 years 11 months ago
2012
Clinical reports often include descriptions of events in the patient’s medical history, as well as explicit or implicit temporal information about these events. We are working t...
193
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
229
click to vote
WFLP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Lua is a scripting language used in many industrial applications, with an emphasis on embedded systems and games. Two key points in the design of the language that led to...
162
Voted
SYNASC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract. A new approach to the design of massively parallel and interactive programming languages has been recently proposed using rv-systems (interactive systems with registers a...
131
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...