2251 search results - page 39 / 451 » Specification and Implementation Problems for C |
123
click to vote
FIW
2009
14 years 11 months ago
2009
Abstract. Current generative programming approaches use configuration knowledge to automatically manufacture an end product given a particular requirements specification. Such conf...
201
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
This paper presents a demand-driven, flow-insensitive analysis algorithm for answering may-alias queries. We formulate the computation of alias queries as a CFL-reachability probl...
110
click to vote
WSC
2007
15 years 4 months ago
2007
Often the process and effort in building interoperable Command and Control (C2) systems and simulations can be arduous. Invariably the difficulty is in understanding what is inten...
116
click to vote
IANDC
2008
15 years 2 months ago
2008
Today's software systems communicate over the Internet using standard protocols that have been heavily scrutinized, providing some assurance of resistance to malicious attack...
126
click to vote
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
Configurability is a major issue in the domain of embedded system software. Existing systems specifically lack good techniques to implement configurability of architectural OS con...