1285 search results - page 113 / 257 » Structural Operators for Modeling 3-Manifolds |
111
click to vote
IFIP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
98
Voted
COMPUTER
2002
15 years 16 days 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...
113
click to vote
OR
2010
Springer
14 years 11 months ago
2010
Springer
Cropping systems models have evolved over the last four decades in response to the demand for modeling to address more complex questions, including issues on sustainable productio...
102
click to vote
SIGSOFT
2004
ACM
16 years 1 months ago
2004
ACM
Defect-occurrence projection is necessary for the development of methods to mitigate the risks of software defect occurrences. In this paper, we examine user-reported software def...
108
Voted
ASIAN
2004
Springer
15 years 6 months ago
2004
Springer
A central problem in extending the von Neumann architecture to petaflop computers with millions of hardware threads and with a shared memory is defining the memory model [Lam79,...