2765 search results - page 259 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
202
click to vote
WSC
2000
15 years 8 months ago
2000
This paper describes an object-orientated simulation approach towards an integrated planning of production systems. The main obstacle for an integrated use of simulation over diff...
283
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
199
click to vote
FASE
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Software architecture constitutes a promising approach to the development of large-scale distributed systems, but architecture description languages (ADLs) and their asso...
219
click to vote
CODES
2010
IEEE
15 years 4 months ago
2010
IEEE
The impact of process variation in state of the art technology makes traditional (worst case) designs unnecessarily pessimistic, which translates to suboptimal designs in terms of...
222
Voted
IALP
2009
15 years 4 months ago
2009
Hierarchical phrase-based translation model has been proven to be a simple and powerful machine translation model. However, due to the computational complexity constraints, the ext...