66 search results - page 11 / 14 » IPOG: A General Strategy for T-Way Software Testing |
LCTRTS
2009
Springer
14 years 2 months ago
2009
Springer
Register allocation is often a two-phase approach: spilling of registers to memory, followed by coalescing of registers. Extreme liverange splitting (i.e. live-range splitting aft...
ISBI
2004
IEEE
14 years 8 months ago
2004
IEEE
SCIRun is a general purpose problem solving environment that seeks to integrate the steps of preparing, executing, and visualizing simulations of physical and biological systems. ...
ICFP
2004
ACM
14 years 7 months ago
2004
ACM
This paper presents an approach to searching for deadlocks in Concurrent Haskell programs. The search is based on a redefinition of the IO monad which allows the reversal of Concu...
IUI
2006
ACM
14 years 1 months ago
2006
ACM
This paper presents a community of communicating embodied agents which learn an adjacency-based grammar from user interactions. The agents act as intelligent fridge magnets, each ...
CHI
2007
ACM
14 years 7 months ago
2007
ACM
Sensors are becoming increasingly important in interaction design. Authoring a sensor-based interaction comprises three steps: choosing and connecting the appropriate hardware, cr...