9049 search results - page 252 / 1810 » The New C Standard |
147
click to vote
ICFP
2007
ACM
15 years 10 months ago
2007
ACM
Reactis is a commercially successful testing and validation tool which is implemented almost entirely in Standard ML. Our experience using a functional language to develop a comme...
182
click to vote
EUROSYS
2006
ACM
15 years 10 months ago
2006
ACM
Product-line architectures (PLA)s are an emerging paradigm for developing software families for distributed real-time and embedded (DRE) systems by customizing reusable artifacts,...
168
click to vote
DGO
2007
15 years 8 months ago
2007
This paper outlines the project highlights for the research project, Governing with Information Technologies. Categories and Subject Descriptors K.4.1 [Computers and Society]: Pub...
179
click to vote
ESM
1998
15 years 8 months ago
1998
This paper introduces a dynamics simulator designed to aid the development of control algorithms for biologically inspired robots. We describe the simulator and a two-tier framewo...
167
click to vote
ACL
1989
15 years 7 months ago
1989
This paper shows that a first-order unificationbased semantic interpretation for various coordinate constructs is possible without an explicit use of lambda expressions if we slig...