3575 search results - page 76 / 715 » Modeling Concurrency with Geometry |
134
click to vote
IMR
2003
Springer
15 years 6 months ago
2003
Springer
This paper proposes a method for predicting the complexity of meshing Computer Aided Design (CAD) geometries with unstructured, hexahedral, finite elements. Meshing complexity ref...
111
click to vote
RV
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Concurrent trace programs (CTPs) are slices of the concurrent programs that generate the concrete program execution traces, where inter-thread event order specific to th...
ENTCS
2006
15 years 1 months ago
2006
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
IPPS
1998
IEEE
15 years 5 months ago
1998
IEEE
We have developed a programming model that integrates concurrency with object-based programming. The model includes features for object definition and instantiation, and it support...
CAAP
1990
15 years 5 months ago
1990
act We show how to modelize concurrency between several processors in terms of automata and Markov chains; then, we define a concurrency measure which reflects more faithfully the ...