320 search results - page 53 / 64 » End-User Software Engineering Position Paper |
CORR
2004
Springer
13 years 7 months ago
2004
Springer
: Computational grids that couple geographically distributed resources are becoming the de-facto computing platform for solving large-scale problems in science, engineering, and co...
PLDI
2003
ACM
14 years 24 days ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
CISIS
2008
IEEE
14 years 2 months ago
2008
IEEE
As the end of Moores-law is on the horizon, power becomes a limiting factor to continuous increases in performance gains for single-core processors. Processor engineers have shifte...
REFSQ
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. [Context and motivation] Natural language is the main representation means of industrial requirements documents, which implies that requirements documents are inherently ...
EUROSYS
2009
ACM
14 years 4 months ago
2009
ACM
This paper evaluates pointer tainting, an incarnation of Dynamic Information Flow Tracking (DIFT), which has recently become an important technique in system security. Pointer tai...