334 search results - page 4 / 67 » A model for comparing the space usage of lazy evaluators |
SAT
2005
Springer
14 years 1 months ago
2005
Springer
Current algorithms for bounded model checking (BMC) use SAT methods for checking satisfiability of Boolean formulas. These BMC methods suffer from a potential memory explosion prob...
WOWMOM
2005
ACM
14 years 1 months ago
2005
ACM
Constructing indoor radio maps plays an important role in many services and applications such as wireless base station planning. In this paper, we propose a hybrid approach to con...
FPCA
1995
13 years 11 months ago
1995
A number of useful optimisations are enabled if we can determine when a value is accessed at most once. We extend the Hindley-Milner type system with uses, yielding a typeinferenc...
DSD
2007
IEEE
14 years 2 months ago
2007
IEEE
Design space exploration is used to shorten the design time of System-on-Chips (SoCs). The models used in the exploration need to be both accurate and fast to simulate. This paper...
ICSM
2009
IEEE
14 years 2 months ago
2009
IEEE
Global and distributed software development increases the need to find and connect developers with relevant expertise. Existing recommendation systems typically model expertise b...