5241 search results - page 563 / 1049 » Embedded Programming with C |
132
click to vote
SERVICES
2008
15 years 6 months ago
2008
Described here is a proposed curriculum design for service engineering based on the six years of experience of a master's program at the School of Software and Microelectroni...
105
click to vote
ANLP
2000
15 years 6 months ago
2000
ARBITER is a Prolog program that extracts assertions about macromolecular binding relationships from biomedical text. We describe the domain knowledge and the underspecified lingu...
138
click to vote
IPL
2006
15 years 5 months ago
2006
A language is defined by closure under safe iteration and under a new form of safe diagonalization that, unlike other forms of diagonalization used in literature to define sub-recu...
240
click to vote
POPL
2003
ACM
16 years 5 months ago
2003
ACM
We present an interprocedural and compositional algorithm for finding pairs of compatible allocation sites, which have the property that no object allocated at one site is live at...
170
click to vote
CGO
2010
IEEE
16 years 1 days ago
2010
IEEE
We present a practical and scalable method for flow- and contextsensitive (FSCS) pointer analysis for C programs. Our method analyzes the pointers in a program level by level in ...