2943 search results - page 260 / 589 » Software Implementation of Synchronous Programs |
216
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not ...
126
Voted
ACMSE
2006
ACM
15 years 7 months ago
2006
ACM
Programming paradigms are often skewed towards a particular domain of problems, thus one effective way to utilize them is through a multiparadigm approach to software development....
114
click to vote
HASKELL
2008
ACM
15 years 4 months ago
2008
ACM
Monads as an organizing principle for programming and semantics are notoriously difficult to grasp, yet they are a central and powerraction in Haskell. This paper introduces a do...
147
Voted
CCGRID
2009
IEEE
15 years 10 months ago
2009
IEEE
As high-end computing systems continue to grow in scale, the performance that applications can achieve on such large scale systems depends heavily on their ability to avoid explic...
113
Voted
JOT
2002
15 years 3 months ago
2002
Java supports distributed programming using threads and Remote Method Invocation (JRMI). However, a Java thread does not match well with the object concept, and JRMI cannot easily...