3307 search results - page 514 / 662 » The meaning of concurrent programs |
219
Voted
ICPADS
2005
IEEE
16 years 17 days ago
2005
IEEE
Low energy consumptions are extremely important in real-time embedded systems, and scheduling is one of the techniques used to obtain lower energy consumptions. In this paper, we ...
166
click to vote
QSIC
2005
IEEE
16 years 16 days ago
2005
IEEE
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
280
click to vote
APLAS
2005
ACM
16 years 16 days ago
2005
ACM
Message Sequence Charts (MSCs) are a graphical language for the description of scenarios in terms of message exchanges between communicating components in a distributed environment...
155
Voted
BIRTHDAY
2005
Springer
16 years 15 days ago
2005
Springer
We present an extension of first-order predicate logic with a novel predicate ‘at t’ meaning intuitively “this term is a variable symbol”. We give simple sequent proof-ru...
171
Voted
CSL
2005
Springer
16 years 15 days ago
2005
Springer
We give a Natural Deduction formulation of an adaptation of G¨odel’s functional (Dialectica) interpretation to the extraction of (more) efficient programs from (classical) proof...