5180 search results - page 136 / 1036 » Concurrency, Time, and Constraints |
225
click to vote
EAAI
2010
15 years 5 months ago
2010
Aircraft sizing studies consist in determining the main characteristics of an aircraft starting from a set of requirements. These studies can be summarized as global constrained o...
159
Voted
DATE
2010
IEEE
16 years 4 days ago
2010
IEEE
—We present a new language called Precision Timed C, for predictable and lightweight multithreading in C. PRET-C supports synchronous concurrency, preemption, and a high-level co...
176
Voted
ISSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Time-driven simulation models typically model timing in an idealized way that is over-constrained and cannot be directly implemented. In this paper we present a transformation to ...
199
Voted
ICFP
2009
ACM
16 years 1 months ago
2009
ACM
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard t...
190
Voted
FCS
2006
15 years 8 months ago
2006
: We introduce an extended model for view-centric reasoning, EVCR, that provides more nsive and flexible abstractions for representing actual concurrency. The theory of Communicati...