631 search results - page 118 / 127 » Producing reliable software: an experiment |
POPL
2007
ACM
14 years 7 months ago
2007
ACM
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...
MOBISYS
2008
ACM
14 years 7 months ago
2008
ACM
Personal mobile devices are increasingly equipped with the capability to sense the physical world (through cameras, microphones, and accelerometers, for example) and the network w...
INFOCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—The advent of practical rateless codes enables implementation of highly efficient packet-level forward error correction (FEC) strategies for reliable data broadcasting ...
ICAC
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— The scale, reliability, and cost requirements of enterprise data centers require automation of center management. Examples include provisioning, scheduling, capacity pl...
ISCAS
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents an RFID based psychiatric critical to psychiatric patient treatment. The work oftracking patient tracking system in a psychiatric patient care center. In psychi...