12334 search results - page 42 / 2467 » The Use of C |
JSW
2008
13 years 10 months ago
2008
In order to use mobile devices for business application, mobile applications and standard have grown fast
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
TOOLS
1997
IEEE
14 years 2 months ago
1997
IEEE
: This paper presents pattern histories for deriving two different callback libraries. The pattern histories document the important design decisions behind each library. The two re...
JSS
2008
13 years 10 months ago
2008
Missing data is a widespread problem that can affect the ability to use data to construct effective prediction systems. We investigate a common machine learning technique that can...
HICSS
1997
IEEE
14 years 2 months ago
1997
IEEE
One model of multithreading gaining popularity on multiprocessor systems is the message-driven model of computation. The message-driven model is a reactive model in which an arriv...