Sciweavers

209 search results - page 1 / 42
» A Semantic Feature Model in Concurrent Engineering
Sort
View
TASE
2010
IEEE
12 years 11 months ago
A Semantic Feature Model in Concurrent Engineering
Concurrent engineering (CE) is a methodology applied to product lifecycle development so that high quality, well designed products can be provided at lower prices and in less time....
Yong-Jin Liu, Kam-Lung Lai, Gang Dai, Matthew Ming...
SEW
2006
IEEE
13 years 10 months ago
Integrating Probability with Time and Shared-Variable Concurrency
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P....
EMSOFT
2006
Springer
13 years 8 months ago
Scheduling-independent threads and exceptions in SHIM
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...
Olivier Tardieu, Stephen A. Edwards
LREC
2010
164views Education» more  LREC 2010»
13 years 5 months ago
Semantic Feature Engineering for Enhancing Disambiguation Performance in Deep Linguistic Processing
The task of parse disambiguation has gained in importance over the last decade as the complexity of grammars used in deep linguistic processing has been increasing. In this paper ...
Danielle Ben-Gera, Yi Zhang 0003, Valia Kordoni
FSTTCS
2010
Springer
13 years 2 months ago
Model Checking Concurrent Programs with Nondeterminism and Randomization
For concurrent probabilistic programs having process-level nondeterminism, it is often necessary to restrict the class of schedulers that resolve nondeterminism to obtain sound an...
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan