Sciweavers

914 search results - page 134 / 183
» Design spaces: The explicit representation of spaces of alte...
Sort
View
CANDT
2009
15 years 1 months ago
Facilitating participatory decision-making in local communities through map-based online discussion
Geographic information systems and online mapping technologies have been widely used for supporting participatory decision-making in local communities. However, limited studies ha...
Bo Yu, Guoray Cai
TIT
1998
105views more  TIT 1998»
14 years 9 months ago
Diversity Waveform Sets for Delay-Doppler Imaging
Abstract— Properties of the ambiguity function and the uncertainty relation of Fourier transforms assert fundamental limitations on the ability of any single radar waveform of co...
Jiann-Ching Guey, Mark R. Bell
DAC
2004
ACM
15 years 10 months ago
A SAT-based algorithm for reparameterization in symbolic simulation
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
Pankaj Chauhan, Edmund M. Clarke, Daniel Kroening
ICSE
2008
IEEE-ACM
15 years 10 months ago
Symbolic mining of temporal specifications
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
Mark Gabel, Zhendong Su
DEBU
2010
152views more  DEBU 2010»
14 years 7 months ago
Implementing an Append-Only Interface for Semiconductor Storage
Solid-state disks are currently based on NAND flash and expose a standard disk interface. To accommodate limitations of the medium, solid-state disk implementations avoid rewritin...
Colin W. Reid, Philip A. Bernstein