Result 1 to 20 of 193 total
Minimizing total weighted flow time under uncertainty using dominance and a stability box. (English)
Comput. Oper. Res. 39, No. 6, 1271-1289 (2012).
1
From serial loops to parallel execution on distributed systems. (English)
Kaklamanis, Christos (ed.) et al., Euro-Par 2012 parallel processing. 18th international conference, Euro-Par 2012, Rhodes Island, Greece, August 27‒31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32819-0/pbk). Lecture Notes in Computer Science 7484, 246-257 (2012).
2
Native handling of message-passing communication in data-flow analysis. (English)
Forth, Shaun (ed.) et al., Recent advances in algorithmic differentiation. Selected papers based on the presentations at the 6th international conference on automatic differentiation (AD2012), Fort Collins, CO, USA, July 23‒27, 2012. Berlin: Springer (ISBN 978-3-642-30022-6/hbk; 978-3-642-30023-3/ebook). Lecture Notes in Computational Science and Engineering 87, 83-92 (2012).
3
Static analysis of IMC. (English)
J. Log. Algebr. Program. 81, No. 4, 522-540 (2012).
4
A model-extraction approach to verifying concurrent C programs with CADP. (English)
Sci. Comput. Program. 77, No. 3, 375-392 (2012).
5
Static program analysis assisted dynamic taint tracking for software vulnerability discovery. (English)
Comput. Math. Appl. 63, No. 2, 469-480 (2012).
6
Contribution-based call stack abstraction for call string based pointer analysis. (English)
Inf. Softw. Technol. 53, No. 6, 654-665 (2011).
7
Kernel principal component analysis for stochastic input model generation. (English)
J. Comput. Phys. 230, No. 19, 7311-7331 (2011).
8
A data-flow approach to test multi-agent ASMs. (English)
Formal Asp. Comput. 23, No. 1, 21-41 (2011).
9
Automating exception-safety classification. (English)
Sci. Comput. Program. 76, No. 4, 278-289 (2011).
10
StarFlow: a script-centric data analysis environment. (English)
McGuinness, Deborah L. (ed.) et al., Provenance and annotation of data and processes. Third international provenance and annotation workshop, IPAW 2010, Troy, NY, USA, June 15‒16, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17818-4/pbk). Lecture Notes in Computer Science 6378, 236-250 (2010).
11
Quasi-supervised learning for biomedical data analysis. (English)
Pattern Recognition 43, No. 10, 3674-3682 (2010).
12
Visual analysis of discussion flow on keygraph-based BBS. (English)
New Math. Nat. Comput. 6, No. 2, 229-245 (2010).
13
Communication flow orientation in business process modeling and its effect on redesign success: results from a field study. (English)
Decis. Support Syst. 46, No. 2, 562-575 (2009).
14
May/must analysis and the DFAGen data-flow analysis generator. (English)
Inf. Softw. Technol. 51, No. 10, 1440-1453 (2009).
15
Restricted reallocation of resources. (English)
Eur. J. Oper. Res. 196, No. 3, 1049-1057 (2009).
16
How to learn from intelligent products; the structuring of incoherent field feedback data in two case studies. (English)
Smith, Michael J. (ed.) et al., Human interface and the management of information. Designing information environments. Symposium on human interface 2009, held as part of HCI International 2009, San Diego, CA, USA, July 19‒24, 2009. Procceedings, Part I. Berlin: Springer (ISBN 978-3-642-02555-6/pbk). Lecture Notes in Computer Science 5617, 227-232 (2009).
17
Data flow analysis. Theory and practice. (English)
Boca Raton, FL: CRC Press (ISBN 978-0-8493-2880-0/hbk; 978-0-8493-2880-0/ebook). xiii, 386~p. \sterling~60.99; \$~99.95/hbk (2009).
18
Design methodology for throughput optimum architectures of hash algorithms of the MD4-class. (English)
J. VLSI Signal Process. 53, No. 1-2, 89-102 (2008).
19
Pathway analysis for bioambients. (English)
J. Log. Algebr. Program. 77, No. 1-2, 92-130 (2008).
20
Result 1 to 20 of 193 total
Start
Contact
Print
General Help
