4965 search results - page 12 / 993 » A Simple Abstraction for Data Modeling |
COMPUTER
2002
14 years 10 months ago
2002
tail defines the level of abstraction used to implement the model's components. A highly detailed model will faithfully simulate all aspects of machine operation, whether or n...
ASM
2003
ASM
15 years 3 months ago
2003
ASM
d in Abstract State Machines – Advances in Theory and Applications: 10th International Workshop, ASM 2003, volume 2589 of LNCS, Springer–Verlag. Abstract Encryption and Protoco...
CHI
2005
ACM
15 years 10 months ago
2005
ACM
A model for movement time for scrolling is developed and verified experimentally. It is hypothesized that the maximum scroll speed is a constant at which the target can be perceiv...
118
click to vote
PLDI
2010
ACM
15 years 17 days ago
2010
ACM
The most intuitive memory model for shared-memory multithreaded programming is sequential consistency (SC), but it disallows the use of many compiler and hardware optimizations th...
CSL
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...