2512 search results - page 351 / 503 » Software Transactional Memory |
136
Voted
EUROSYS
2006
ACM
15 years 11 months ago
2006
ACM
Many software attacks are based on injecting malicious code into a target host. This paper demonstrates the use of a wellknown technique, data tainting, to track data received fro...
132
click to vote
ICSM
2009
IEEE
15 years 9 months ago
2009
IEEE
Mainstream IDEs such as Eclipse support developers in managing software projects mainly by offering static views of the source code. Such a static perspective neglects any informa...
101
click to vote
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
113
click to vote
COMSWARE
2007
IEEE
15 years 8 months ago
2007
IEEE
— We share our experience in planning, designing and deploying a wireless sensor network of one square kilometre area. Environmental data such as soil moisture, temperature, baro...
99
Voted
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...