4440 search results - page 592 / 888 » The space of design |
167
click to vote
CIS
2005
Springer
16 years 11 days ago
2005
Springer
⎯A new nonslicing floorplan representation, the moving block sequence (MBS), is proposed in this paper. Our idea of the MBS originates from the observation that placing blocks on...
181
Voted
HVC
2005
Springer
16 years 10 days ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
166
click to vote
DOLAP
2004
ACM
16 years 7 days ago
2004
ACM
BST Condensed Cube is a fully computed cube that condenses those tuples, which are aggregated from the same single base relation tuple, into one physical tuple. Although it has be...
218
click to vote
MIDDLEWARE
2004
Springer
16 years 5 days ago
2004
Springer
The terms pervasive and ubiquitous computing are used to describe a smart space populated by hundreds of intelligent devices that are embedded in their surroundings. Characteristi...
169
click to vote
PATAT
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Automated timetabling is a research domain that has occupied many researchers over the last 50 years. Several algorithms have proven to be applicable to timetabling but t...