12334 search results - page 190 / 2467 » The Use of C |
153
click to vote
CF
2009
ACM
15 years 2 months ago
2009
ACM
Emulation sits between simulation and experimentation to complete the set of tools available for software designers to evaluate their software and predict behavior under condition...
127
click to vote
SIGSOFT
1994
ACM
15 years 8 months ago
1994
ACM
This paper describes LCLint, an efficient and flexible tool that accepts as input programs (written in ANSI C) and various levels of formal specification. Using this information, ...
165
click to vote
SP
2002
IEEE
15 years 4 months ago
2002
IEEE
We describe a method for finding security flaws in source code by way of static analysis. The method is notable because it allows a user to specify a wide range of security proper...
125
click to vote
EVOW
2006
Springer
15 years 8 months ago
2006
Springer
Mobile Ad-hoc Networks (MANETs) are composed of a set of communicating devices which are able to spontaneously interconnect without any pre-existing infrastructure. In such scenari...
141
click to vote
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
— Open source software are becoming more widely-used, notably in the server and desktop applications. For embedded systems development, usage of open source software can also red...