483 search results - page 19 / 97 » Experimental Software Engineering: A Report on the State of ... |
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
The development of wireless sensor networks (WSNs) software today is tackled by a code-and-fix process that relies solely on the primitive constructs provided by the operating sys...
PEPM
2009
ACM
14 years 5 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
GECCO
2010
Springer
13 years 8 months ago
2010
Springer
State machines are a popular method of representing a syshigh level of abstraction that enables developers to gain an overview of the system they represent and quickly understand ...
CGO
2004
IEEE
14 years 10 days ago
2004
IEEE
Pre-execution techniques have received much attention as an effective way of prefetching cache blocks to tolerate the everincreasing memory latency. A number of pre-execution tech...
SIGPLAN
2002
13 years 8 months ago
2002
The paper reports on an experiment to provide the Erlang programming language with a tool package for convenient trace generation, collection and to support analysis of traces usi...