12272 search results - page 45 / 2455 » Experimental program analysis |
92
Voted
HICSS
2002
IEEE
15 years 5 months ago
2002
IEEE
Telemedicine development in Taiwan has proliferated considerably since the 1990s, as manifested by its inclusion as a core application area in the National Infrastructure Initiati...
110
Voted
IEEEPACT
2003
IEEE
15 years 6 months ago
2003
IEEE
Recent work has shown that multithreaded workloads running in execution-driven, full-system simulation environments cannot use instructions per cycle (IPC) as a valid performance ...
93
Voted
TACAS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
83
Voted
EUROGP
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Types have been introduced to Genetic Programming (GP) by researchers with different motivation. We present the concept of types in GP and introduce a typed GP system, Po...
335
click to vote
Book
"Scheme is a general-purpose computer programming language. It is a high-level language, supporting operations on structured data such as strings, lists, and vectors, as well ...