3404 search results - page 361 / 681 » C Programming Tutorial |
127
click to vote
CSFW
2004
IEEE
15 years 6 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
119
click to vote
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
In this paper we present an approach for analysis of systems of parallel, communicating processes for SoC design. We present a method to detect communications that synchronize the...
142
click to vote
IWMM
2000
Springer
15 years 6 months ago
2000
Springer
Dynamic memory allocation is an important part of modern programming languages. It is important that it be done fast without wasting too much memory. Memory allocation using lazy ...
113
click to vote
SIGCSE
1995
ACM
15 years 6 months ago
1995
ACM
Interest in teaching object-oriented programming in first year computer science courses has increased substantially over the last few years. While the theoretical advantages are c...
137
click to vote
AAAI
2007
15 years 5 months ago
2007
Forgetting irrelevant/problematic actions in a domain description can be useful in solving reasoning problems, such as query answering, planning, conflict resolution, prediction,...