1922 search results - page 204 / 385 » Systems biology, models, and concurrency |
ICFEM
2009
Springer
15 years 8 months ago
2009
Springer
Thread pools are often used as a pattern to increase the throughput and responsiveness of software systems. Implementations of thread pools may differ considerably from each other...
EGOV
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Issues related to technology, including diffusion, acceptance, adoption, and adaptation, have been the focus of research for different disciplines including Information S...
118
click to vote
SPIN
2010
Springer
14 years 11 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
147
click to vote
MEMOCODE
2008
IEEE
15 years 7 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
LCTRTS
2001
Springer
15 years 5 months ago
2001
Springer
When the Asynchronous Method Invocation (AMI) model was introduced into the CORBA specification, client applications benefited from the ability to invoke nonblocking two-way reque...