353 search results - page 57 / 71 » TRICS: A Testing Tool for C |
OOPSLA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
MOBICOM
2005
ACM
14 years 1 months ago
2005
ACM
Vehicles equipped with wireless communication devices are poised to deliver vital services in the form of safety alerts, traffic congestion probing and on-road commercial applicat...
SENSYS
2005
ACM
14 years 1 months ago
2005
ACM
Being embedded in the physical world, sensor networks present a wide range of bugs and misbehavior qualitatively different from those in most distributed systems. Unfortunately, d...
SIGUCCS
2005
ACM
14 years 1 months ago
2005
ACM
Many higher education institutions are searching for cost effective tools for the delivery of a feature rich, synchronous online learning environment. While there are several comm...
ICS
2005
Tsinghua U.
14 years 1 months ago
2005
Tsinghua U.
Performance simulation tools must be validated during the design process as functional models and early hardware are developed, so that designers can be sure of the performance of...