171 search results - page 28 / 35 » Experience report: using RESOLVE C for commercial software |
ISSTA
2009
ACM
14 years 1 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
ICDCSW
2005
IEEE
14 years 1 months ago
2005
IEEE
DiamondHelp is a reusable Java framework for building graphical user interfaces based on the collaborative paradigm of human-computer interaction. DiamondHelp´s graphical design ...
SENSYS
2009
ACM
14 years 2 months ago
2009
ACM
Sensor networks have the potential to empower domain experts from a wide range of fields. However, presently they are notoriously difficult for these domain experts to program, ...
IPSN
2009
Springer
14 years 2 months ago
2009
Springer
We consider a scenario in which there are resources at or near nodes of a network, which are either static (e.g. fire stations, parking spots) or mobile (e.g. police cars). Over ...
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
The rapid revolution in microprocessor chip architecture due to multicore technology is presenting unprecedented challenges to the application developers as well as system softwar...