3104 search results - page 406 / 621 » Using quantitative analysis to implement autonomic IT system... |
150
click to vote
BMCBI
2006
15 years 5 months ago
2006
Background: In the fly Drosophila melanogaster, new genetic, physiological, molecular and behavioral techniques for the functional analysis of the brain are rapidly accumulating. ...
171
Voted
CSCW
2011
ACM
15 years 2 days ago
2011
ACM
Bug reporting/fixing is an important social part of the software development process. The bug-fixing process inherently has strong inter-personal dynamics at play, especially in h...
133
click to vote
JSSPP
2004
Springer
15 years 10 months ago
2004
Springer
Using a single traditional gang scheduling algorithm cannot provide the best performance for all workloads and parallel architectures. A solution for this problem is the use of...
146
click to vote
TOOLS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
136
click to vote
KBSE
1998
IEEE
15 years 9 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...