2881 search results - page 198 / 577 » Model Checking for Programming Languages using Verisoft |
168
click to vote
AOSD
2009
ACM
15 years 8 months ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
148
click to vote
PPL
2008
15 years 6 months ago
2008
In this paper we argue that it is possible to couple the advantages of programming with the well-known abstraction of RPC with asynchronous programming models adequate for wide-ar...
174
click to vote
CICLING
2007
Springer
16 years 16 days ago
2007
Springer
Finite-state technology is considered the preferred model for representing the phonology and morphology of natural languages. The attractiveness of this technology for natural lang...
169
click to vote
ASPLOS
2008
ACM
15 years 8 months ago
2008
ACM
In this paper we propose the Merge framework, a general purpose programming model for heterogeneous multi-core systems. The Merge framework replaces current ad hoc approaches to p...
191
click to vote
BIRTHDAY
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...