3047 search results - page 282 / 610 » On the Meaning of Logical Completeness |
200
click to vote
POPL
2011
ACM
14 years 10 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...
234
click to vote
POPL
2012
ACM
14 years 3 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
317
click to vote
POPL
2008
ACM
16 years 8 months ago
2008
ACM
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
211
click to vote
ASAP
2008
IEEE
16 years 2 months ago
2008
IEEE
Many complex systems require the use of floating point arithmetic that is exceedingly time consuming to perform on personal computers. However, floating point operators are also h...
203
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
The development of Field Programmable Gate Arrays (FPGAs) had tremendous improvements in the last few years. They were extended from simple logic circuits to complex Systems-on-Ch...