2362 search results - page 212 / 473 » Programming in Standard ML |
126
click to vote
WORDS
2003
IEEE
15 years 9 months ago
2003
IEEE
Standards-based COTS middleware has been shown to be effective in meeting a range of functional and QoS requirements for distributed real-time and embedded (DRE) systems. Each sta...
145
click to vote
JODL
2006
15 years 4 months ago
2006
This paper describes work in progress on the research project CWSpace, sponsored by the MIT and Microsoft Research iCampus program, to investigate the metadata standards and protoc...
149
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
The standard language for describing the asymptotic behavior of algorithms is theoretical computational complexity. We propose a method for describing the asymptotic behavior of p...
253
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...
245
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
C++ templates are key to the design of current successful mainstream libraries and systems. They are the basis of programming techniques in diverse areas ranging from conventional...