9325 search results - page 374 / 1865 » The decentralized implementability problem |
ICHIM
2001
15 years 6 months ago
2001
This paper poses the problem of designing Museum Appliances (MA), which are usable, i.e. easy to learn and easy to use. A recently proposed model of multimedia Human Computer Inte...
161
Voted
JTRES
2010
ACM
15 years 5 months ago
2010
ACM
Chip-multiprocessors offer increased processing power at a low cost. However, in order to use them for real-time systems, tasks have to be scheduled efficiently and predictably. I...
125
click to vote
CPHYSICS
2006
15 years 4 months ago
2006
We approach the problem of computational crystal structure prediction, implementing an evolutionary algorithm--USPEX (Universal Structure Predictor: Evolutionary Xtallography). St...
125
click to vote
ENTCS
2007
15 years 4 months ago
2007
The implementation of conceptually continuous signals in functional reactive programming (FRP) is studied in detail. We show that recursive signals in standard implementations usi...
127
click to vote
TOPLAS
2008
15 years 4 months ago
2008
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floatingpoint operators has become a priori...